Spectral Properties of Differential–Difference Symmetrized Operators

We investigate some spectral properties of differential–difference operators, which are symmetrizations of differential operators of the form (d†d)k\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(\mathfrak {d}^\dagger \mathfrak {d})^k$$\end{document} and (dd†)k\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(\mathfrak {d}\mathfrak {d}^\dagger )^k$$\end{document}, k⩾1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$k\geqslant 1$$\end{document}. Here, d=pddx+q\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {d}=p\frac{d}{\textrm{d}x} +q$$\end{document} and d†\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {d}^\dagger $$\end{document} stands for the formal adjoint of d\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {d}$$\end{document} on L2((0,b),wdx)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$L^2((0,b),w\,\textrm{d}x)$$\end{document}. In the simpliest case k=1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$k=1$$\end{document}, this symmetrization brings in the operator -D2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$-\mathfrak {D}^2$$\end{document}, which can be seen as a ‘Laplacian’, and Df:=Ddf=d(feven)-d†(fodd)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {D}f:=\mathfrak {D}_{\mathfrak {d}}f= \mathfrak {d}(f_{\text {even}})-\mathfrak {d}^\dagger (f_{\text {odd}})$$\end{document}, a skew-symmetric operator in L2(I,wdx)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$L^2(I,w\,\textrm{d}x)$$\end{document}, I=(-b,0)∪(0,b)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$I=(-\,b,0)\cup (0,b)$$\end{document}, is the symmetrization of d\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {d}$$\end{document}. Investigated spectral properties include self-adjoint extensions, among them the Friedrichs extensions, of the symmetrized operators.


Introduction
In this paper, we propose a treatment of some class of differential-difference operators in dimension one from the spectral theory point of view. These operators emerge as symmetrizations of differential operators on (0, b), 0 < b ∞, admitting, in the simplest case, a decomposition of type L d = d † d; see Sect. 2.
In some specific frameworks, the analysis of the so-called Jacobi-Dunkl operators of both compact and non-compact types (see Examples 2.1 and 2.2) was initiated by Ben Salem and Samaali [1]. Some aspects of harmonic analysis of a (first-order) differential-difference 'derivative', a building block of the Jacobi-Dunkl operator, in the compact case were investigated by Chouchene [3], and in the non-compact case by Chouchene et al. [4]; see again Examples 2.1 and 2.2.
Nowak and the author [8] established a general symmetrization procedure in the context of orthogonal expansions associated with a second-order differential operator L, a 'Laplacian'. Roughly, the important point of the symmetrization procedure consisted in removing asymmetry of the decomposition L = d † d + a, a ∈ R, where d is an associated 'derivative' and d † is its formal adjoint. This general theory was constructed in the multi-dimensional setting and permitted to shed a new light on the theory of higher order Riesz transforms for orthogonal expansions. In some cases of orthogonal expansions, the theory was applied with emphasis on specific harmonic analysis issues. For instance, Langowski [7] studied the symmetrized Jacobi expansions with emphasis on potential and Sobolev spaces. See also [5]. Nowak, Szarek and the author [9] discussed the symmetrized Laguerre expansions with focus on some harmonic analysis operators.
Recently, the author [11] investigated spectral properties of ordinary differential operators admitting the beforementioned decomposition. The present paper continues this line of investigation but in the setting of symmetrized operators, i.e., differential-difference operators. Some aspects of such investigation were already undertaken by the author [12] in a specific case of the Jacobi-Dunkl operator of compact type. It is worth mentioning that the theory presented in this paper: (a) does not refer to orthogonal expansions, i.e., an associated orthonormal system is not postulated (as it was done in [8]); (b) includes not only second-order but also higher order differential-difference operators.
The Friedrichs extensions of differential operators, notably for the Sturm-Liouville operators, were widely investigated in the literature. See [13] and the references therein. In this paper, we describe the Friedrichs extension of the differential-difference operators (−1) k D 2k on L 2 (I, w); see Theorem 4.6. The description is given in terms of D-derivatives and D-Sobolev spaces, and for k = 1, this extension can be seen as the 'Dirichlet Laplacian'.
The paper is organized as follows. In Sect. 2, we recall the setting of Sturm-Liouville operators admitting a special decomposition and outline a symmetrization procedure leading to the setting of the corresponding differential-difference operators; the Liouville form of the latter operators is also discussed. This is then illustrated by two important examples of Jacobi differential operators and Jacobi-Dunkl differential-difference operators of both compact and non-compact types. In Sect. 3, we introduce and investigate weak D-derivatives and compare them with weak d-and d † -derivatives. In particular, we establish relations between the weak derivatives D (2k) weak and (d † d) k weak or (dd † ) k weak , k 1, cf. Proposition 3.7. Section 4 is devoted to introducing and studying D-Sobolev spaces, subsequently applied to describing the minimal and maximal operators and the Friedrichs extensions. Again, we relate the Sobolev spaces in the D and d settings, cf. Proposition 4.4. All such relations, suggested by (2.3), find their cumulation in Proposition 4.7. Finally, Theorem 4.6 contains the main result on the Friedrichs extension of (−1) k D 2k . Notation and Terminology. Throughout the paper, we use standard notions and symbols. Thus, given a function f on (−b, 0) ∪ (0, b), 0 < b ∞, we write f even and f odd for its even and odd parts, f even (x) := (f (x)+f (−x))/2, f odd (x) := (f (x) − f (−x))/2, respectively. We shall frequently use the fact that weak . The symbol ·, · L 2 will mean the inner product in a relevant L 2 space. Given an open interval J ⊂ R and a set of Sturm-Liouville coefficients {v, r, s}, that is a triple of real-valued functions on J satisfying some natural smoothness and positivity assumptions, the associated Sturm-Liouville differential expression is One can associate with L {v,r,s} a boundary value problem or an unbounded operator on L 2 (J, v(x) dx). We shall also apply the following convention: by affixing one of the superscripts '−/+' to an object originally considered on (−b, 0)∪(0, b), we mean the restriction of this object to (−b, 0) or (0, b), respectively. For instance, for a function f on (−b, 0) ∪ (0, b), f + stands for the restriction of f to (0, b).

Preliminaries
Let 0 < b ∞ and I = (−b, 0) ∪ (0, b) := I − ∪ I + be given, and let w be a weight function on I + , by which we mean a real-valued positive C ∞ function. For real-valued p, q ∈ C ∞ (I + ), p(x) > 0 for x ∈ I + , consider the first-order linear differential expression treated as an operator on the Hilbert space L 2 (I + , w dx). We call d the delta-derivative associated with the triple {w, p, q}. The formal adjoint to d in L 2 (I + , w), in the sense that This lack of skew-symmetry gave an impact for considering a symmetrization process, see [8].
In this symmetrization of d = d {w,p,q} the functions from the triple {w, p, q}, initially considered on I + , are extended to functions on I by setting so that w and p are even and q (and q † ) is odd. Then, we let Here, we treat d and d † as operators acting on suitable functions on I, with p, q, and w extended by (2.2). Notice that • df (and d † f ) is even/odd for f odd/even, It is also worth observing that ϕ,ψ∈ C ∞ c (I), is not difficult using the above representations (as it was explained in [8]), but this can be also seen as a consequence of (2.1). Namely, for ϕ, ψ ∈ C ∞ c (I), using (2.3) and the identities (consequences of (1.1)) f, g L 2 (I,w) = 2 f, g even/odd L 2 (I + ,w) , valid for even/odd f ∈ L 2 (w), respectively, one gets Since D maps C ∞ c (I) into C ∞ c (I), we can consider, and we do this, the operators D n , n 1, as densely defined operators on L 2 (w) with domain C ∞ c (I). We let L (k) D is symmetric and nonnegative on L 2 (w), • for f even, L (k) , For further reference, we note (cf. [8]) that explicitly We pause for a moment to point out a simple property of function spaces on I = I − ∪ I + that will be used throughout (usually without mention). For instance, for the spaces of smooth compactly supported functions, we identify . Analogous identification will concern L 1 loc (I), L 2 (I, w), AC loc (I) and other function spaces.
Spectral analysis of operators of the form , which are symmetric and nonnegative on L 2 (I + , w), was recently performed by the author in [11]. Notice that each L d is a Sturm-Liouville operator on I + , corresponding to the Sturm-Liouville triple {w, r, s} with r := wp 2 and s := w(q † q − pq ). For the Sturm-Liouville Consequently, we have We now analyse two specific examples of differential operators which are in divergent form, and their symmetrizations, so that (2.5) and (2.6) are used.

Liouville Form
Although the term 'Liouville (normal) form' seems to be reserved for differential contexts, we adopt it here in the differential-difference framework.
We first recall the setting of Sturm-Liouville operators discussed in [11,Sect. 6.2]. Consider a weight w ≡ 1 on I + . Together with an operator L {w,r,s} acting on L 2 (I + , w), its replique in the L 2 (I + , dx) setting defined through the unitary isomorphism U + : {w,r,s} and L {w,r,s} , being unitarily intertwined by U + , possess the same spectral properties.
A computation shows that for operators in divergent form, we have Explicitly Passing to the symmetrized case, i.e., to the case of D = D d , consider the unitary isomorphism and let is also a differential-difference operator. We call L • D the Liouville form of L D . Clearly, being unitarily intertwined, L D and L • D possess analogous spectral properties and we can choose L • D to analyse spectral properties of L D . This remark allows to avoid double discussion of an operator and its twin, and, at the same moment, permits to analyse potentially easier form of an operator (L • D is a sum of a Schrödinger operator plus a reflection term). It should be remarked that L • Dd = L D d • , and hence, L • Dd = L D d • (in words: the Liouville form of symmetrization is the symmetrization of Liouville form). Explicitly We continue the analysis begun in Examples 2.1 and 2.2. Here, we exclude the case α = β = −1/2, since then, the corresponding weight functions equal 1 identically. on L 2 ((0, π), dθ) or on L 2 ((0, ∞), dx), respectively, and D • α,β is skew-adjoint on L 2 ((−π, π), dθ) or L 2 ((−∞, ∞), dx), respectively.

D-derivatives
Until the end of this and the next section, I, w, d, and thus D := D d , are fixed. In several places, we shall tacitly use the fact that for a continuous and positive function w on I, one has L 1 loc (I, w) = L 1 loc (I, dx); for this space, we shall write L 1 loc (w) for short. We begin with notion of the weak D (k) -derivative, k 1.
Then, we set D Following the general definition for open subsets of R and specified to I, we say that f ∈ L 1 loc (I, dx) has a weak derivative of order k, k 1, provided that there exists h k ∈ L 1 loc (I, dx), such that Then, we call h k the weak derivative of f on I and write f Recall that existence of kth weak derivative of an f ∈ L 1 loc (I, dx) implies existence of weak derivatives of f of all lower orders. We shall also need the fact that for h ∈ C ∞ (I), existence of f (k) weak implies existence of (hf ) (k) weak , and with additional assumption h > 0, the opposite holds: if (hf ) (k) weak exists, then also f (k) weak exists. See, for instance, [11] for details. Before discussing connections between D (k) -derivatives and weak derivatives, we need the following convenient representation of D k , the formal k-fold composition of D.
k−j and q [k,s] k−j , s = 1, 2, are real-valued C ∞ functions on I, even when j is even and odd when j is odd. Moreover Here, by convention, p Proof. For k = 1, one has D = p d dx + q(·) even − q † (·) odd , with p even and q, q † odd, C ∞ and real-valued, as required. In the induction step, one obtains the relevant recurrence relations as direct consequences of Checking the required properties of emerging function coefficients is easily performed using the induction hypothesis and the identities , that include the fact that the derivative of an even/odd function is an odd/even function.
We shall also need the following simple lemma used in the proof of Proposition 3.4.
Taking any ψ ∈ C ∞ c (I) and inserting ϕ = D k−m ψ into (3.2) give Comparing the last two identities gives as required. It would be desirable to know, in analogy with [11,Proposition 1], that existence of D   Proof. For the first claim, we proceed by induction and begin with k = 1. Let D (1) . This means that for all ϕ ∈ C ∞ c (I), we have After routine manipulations (recall that q and q † are odd), this becomes which means that the weak derivative (fpw) weak exists (and equals (g 1 + qf odd − q † f even )w). However, pw > 0 on I is a C ∞ function, and hence, also f weak exists. It remains to justify (3.3) for k = 1. Since we know that (fpw) weak and f weak exist, we have (fpw) weak = f weak pw+f (pw) , and hence, we can write To proceed with the induction step, we introduce the notation whenever the integral on the right-hand side exists; we skip the subscript w when w ≡ 1.
Let k 2 and assume inductively that the claim holds for k − 1. Next, take f ∈ L 1 loc (w) and assume that for 1 r k, D weak f exist; in particular for some g k ∈ L 1 loc (w). Using the representation (3.1), we also have From this, one gets k−j fw) even .
By the induction hypothesis, the weak derivatives of f of order less than k exist, and hence, the same is true for each of the terms p weak . This means that the weak derivative of order k of p k fw exists, and hence, also f (k) weak exists. It remains to justify that the identity in (3.3) holds for r = k. We have Our aim is now to show that 4) where, for any r ∈ {1, . . . , k}, R r f denotes the right-hand side of the identity in (3.3). Then, combining the two above identities will give (3.3) for r = k.
To verify (3.4), we write the sequence of equalities The first equality is due to the induction hypothesis and Lemma 3.3, and the second is again due to the induction hypothesis. Finally, the third equality is obtained using the result from the first step of the induction procedure and combining it with relations for the coefficients involved in R k f and R k−1 f .

MJOM
This finishes the induction step and hence the proof of the first claim. The proof of the converse claim, also inductive, relies on appropriate reversing of just used arguments, and thus, it is omitted. The proof of the proposition is therefore completed.
Finally, we notice that the weak derivative f weak of f on I exists if and only if f ∈ AC loc (I), and then f weak (x) = f (x) for almost every x ∈ I. It is clear that AC loc (I) = AC loc (I − ) ⊕ AC loc (I + ) in the sense that f ∈ AC loc (I) if and only if f ± ∈ AC loc (I ± ).
We can reformulate Proposition 3.4 to the following.
weak f exists, then f ∈ AC loc (I) and D (1) a.e. on I. Conversely, if f ∈ C k−1 (I) and f (k−1) ∈ AC loc (I), then D weakderivatives and (d † d) k weak -and (d † d) k weak -derivatives. We begin with notion of weak delta-derivatives. Recall, cf. [11], that given f ∈ L 1 loc (I + , w), we say that weak d-derivative of f exists provided that there is g ∈ L 1 loc (I + , w), such that Then, we set d weak f := g and call g the weak d-derivative of f . If in the above equality, d † is replaced by d, then we call g the weak d † -derivative of f and set d † We then set (d † d) k weak f := g k . When the order of d † and d is reversed, we say about the (dd † ) k weak -derivative and write (dd † ) k weak f := g k . We shall need a simple lemma.
This implies the required conclusion with accompanying identity. The opposite implication in 1. goes by reversing the above arguments. Property 2. is proved analogously. Also, 3. and 4. require similar arguments. For instance, for f odd, proving ⇒ in 3., we begin with Taking above odd functions ϕ and noting that D 2k ϕ = (−1) k (d † d) k ϕ gives, by Lemma 3.6, and hence, the required conclusion with accompanying identity follows. The opposite implication in 3. again goes by reversing the above argument.

D-Sobolev Spaces and the Friedrichs Extensions
We now come to introducing and discussing Sobolev spaces associated with powers of the differential-difference operator D. These spaces can be regarded in the broader context of theory of Sobolev spaces. They are particularly well suited to describe some objects like minimal and maximal operators, the Friedrichs extensions, etc., in the D-framework.
weak f exists and is in L 2 (w)} equipped with the inner product The closure of C ∞ c (I) in H k D (I, w) with respect to the norm generated by Sobolev spaces in the context of the Jacobi operator J α,β and the Jacobi-Dunkl operator J α,β , α, β > −1, were defined and investigated by Langowski [6,7]. These spaces were denoted W p,m α,β (for 1 p ∞ and order m 1) and their relation to potential spaces was studied. In Definition 4.1 specified to D α,β , there is no restriction on α and β.
The following proposition has a relatively standard proof, and hence, we omit it. ) is a Hilbert space. Consequently, also H k D,0 (I, w) is a Hilbert space. A comment is in order on relations between our Definition 4.1 and the definition of Sobolev spaces that appeared in [7] in the context of the Jacobi operator J • α,β ; see Example 2.3. To be precise in [7, p. 3], J • α,β is shifted by a constant term, so that J α,β := J • α,β + A 2 α,β is considered with some restrictions on α and β (and D α,β = D • α,β , see Example 2.3), but this change is immaterial from the spectral theory point of view. The main motivation in establishing a suitable definition of Sobolev spaces in [7] was to obtain, as a prize, an isomorphism between these Sobolev spaces and the potential spaces with properly chosen parameters. This was indeed achieved; see [7, Definition 3.2 and Theorem 3.3]. Our definition, in the general setting, is seemingly the most natural and allows to achieve our main goal, a characterization of Friedrichs extensions.
It is natural to ask when we can claim that Of course, the answer depends on w, compactness of I, and D, and may be difficult in concrete settings. The 'classical' setting is described in the following. Following the line of thoughts in Sect. 3, we now relate the introduced Sobolev spaces with those defined and studied in [11] and connected to d, d † , and their compositions. To recall, the delta-Sobolev space H d was defined in [11] (where slightly different notation was used) as Analogous definition applies to d † . For higher order derivatives, we shall consider weak f exists and is in L 2 (I + , w)}, k 1, and its analogue, H (dd † ) k (I + , w), with the roles of d and d † reversed (in [11] an arbitrary composition of d and d † was admitted). Inner products and norms in these spaces are given in a way analogous to that in Definition 4.1 and the corresponding closures of C ∞ c (I + ) are denoted H d,0 (I + , w), H (d † d) k ,0 (I + , w), and so on. Also, the closed subspaces of H 1 D (I, w), H 2k D (I, w) and their counterparts, H 1 D,0 (I, w), H 2k D,0 (I, w), consisting of even/odd functions will be denoted by adding the affix even/odd.
The following result is a direct consequence of Proposition 3.7; the proof of the proposition is straightforward, and hence, we skip it. Below, if X is a linear space of functions on I, then X + stands for the space of restrictions of all functions from X to I + .

Minimal and Maximal Operators
We now define the minimal and maximal operators related to the symmetric operator T (k) is just L (k) D in our former notation). We follow the well-known path of constructing these two operators. The minimal and maximal operators are important, because self-adjoint extensions of T  (I, w), such that f n converges to F in H k D (I, w). Consequently, Consequently, D

Friedrichs Extensions
To continue, we need to recall basic facts on the Friedrichs extension. It is well known that any densely defined symmetric and nonnegative operator S has a self-adjoint extension which is also nonnegative. The construction of this operator (which works in a more general setting of lower semibounded The construction of S F is based on the theory of (sesquilinear) forms. An important result in this theory says that for a given (H, ·, · H ), there is a one-to-one correspondence between the set of all densely defined Hermitian nonnegative closed forms and the set of all self-adjoint nonnegative operators on H. If s is such a form, then in this correspondence, A s denotes the relevant operator; if A is such an operator, then s A denotes the relevant form. Moreover, for every A, we have A (sA) = A, and for every s, we have s (As) = s.
More precisely, the associated operator A s is defined by first determining its domain The construction of the Friedrichs extension now goes as follows. Let S be as above and let s S [x, y]= Sx, y H , x, y ∈ Dom(S), be the form associated with S. It is immediately seen that s S is densely defined Hermitian and nonnegative. However, more importantly, s S is closable; see [10,Lemma 10.16]. Let s S be the closure of s S . Although the completion procedure in the definition of s S is abstract from its nature, it can be shown that s S may be realized in H, which means, in particular, that Dom(s S ) ⊂ H. Then, S F is just A sS , the operator associated with s S . See, for instance, [10,Definition 10.6].
Let k 1. Define the form t  Proof. We first check that both operators extend (−1) k D 2k . It suffices to consider L k,0 only. From the general definition For this purpose, we need to check that given ϕ ∈ C ∞ c (I), for every g ∈ H k D,0 (I, w), it holds Verification of (4.2) is based on the integration by parts formula for absolutely continuous functions on a closed finite interval. Let J := J − ∪ J + , J ± ⊂ I ± , be the union of two closed intervals, such that the support of ϕ included in J. We check (4.2) with I replaced by J. When k = 1 and g ∈ H 1 0 (I, w), (4.2) then becomes This equality indeed holds, since, by Corollary 3.5, the weak derivative g weak exists on I, and consequently, g is absolutely continuous on J. Moreover, D weak g = pg + qg even − q † g odd a.e. on I and an application of the integration by parts formula plus a small calculation shows the required equality. The general case goes along the same lines using the general part of Corollary 3.5. Indeed, inserting into the left-hand side of (4.2) (with I replaced by J) and then performing k-times integration by parts (recall that g is (k − 1)-times differentiable on I and g (k−1) is absolutely continuous on J) lead to the right-hand side of (4.2). It remains to prove that L k,0 = ((−1) k D 2k ) F . We take the form s (k) [f, g] = (−1) k D 2k f, g w on the domain Dom(s (k) ) = C ∞ c (I) and consider its closure s (k) . We now claim that This is enough for our purpose since then, with the notation preceding Theorem 4.6, we have and as one immediately sees, the latter space coincides with Dom(L k,0 ). Moreover, it follows that ((−1) k D k ) F f = L k,0 f for f from these joint domains.
Returning to (4.3), we note that it is a consequence of the fact that C ∞ c (I) lies densely in Dom(t ϕ n → f in H 1 0 (I, w). Notably, this means that ϕ n → f and D k ϕ n → D (k) weak f in L 2 (w). We want to show that f ∈ Dom(s (k) ).
For this, it suffices to ensure existence of {ϕ n } ⊂ C ∞ c (I) convergent to f in L 2 (w), such that s (k) [ϕ n − ϕ m , ϕ n − ϕ m ] → 0 as n, m → ∞; see [10, p. 224]. However and the latter required convergence to 0 follows, since D k ϕ n being convergent in L 2 (w) is a Cauchy sequence there.
The end of this section is devoted to discussion of relations between the Friedrichs extensions of (−1) k D 2k and (d † d) k and (dd † ) k . Consider the operators , and their counterparts with the 0 affix, are also identified through T e . This gives an impact to compare the Friedrichs extensions. Recall that the Friedrichs extension of (−1) k D 2k we denoted as L k,0 . The Friedrichs extensions of (d † d) k and (dd † ) k we shall denote by L (d † d) k and L (dd † ) k , respectively. These extensions were described in [11,Theorem 5.2]. Proof. We focus on considering the first pair only; for the second pair, one argues analogously. The proof relies on observing that the constructions of the Friedrichs extensions of (−1) k D 2k and (d † d) k agree on the level of forms. Recall that for the construction of L k,0 , the form t  then these two forms are identified through T e . Consequently, the resulting self-adjoint extensions coincide.

Author contributions
The entire manuscript was prepared solely by myself.
Funding None.
Availability of Data and Materials Not applicable.

Declarations
Ethical Approval Not applicable.

Conflict of Interest
The authors declare that there is no conflict of interest.
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http:// creativecommons.org/licenses/by/4.0/.
Publisher's Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.