Coordinate-free approach for the model operator associated with a third-order dissipative operator

1. Introduction

A model operator may be regarded as an equivalent operator to another operator in a certain sense. Such an equivalent representation has been constructed by Szokefalvi-Nagy and Foiaş [ 1 ] for a contractive operator. The main idea for this construction is to obtain the unitary dilation of the contraction. In fact, if the following equality holds

$\begin{array}{ }{T}^{n}y=P{U}^{n}y,\end{array}$

where T is a contraction on the Hilbert space H and U is the operator on ${H},$ y ∈ H , n ≥ 0 and P is the orthogonal projection of ${H}$ onto H , then U is called a dilation of T . U is called unitary provided that U is a unitary operator and in this case U is called unitary dilation of T . There exists a geometric meaning of the dilation space. This meaning has been given by Sarason [ 2 ]. Sarason showed that U is a dilation of T if and only if ${H}$ has the representation

$\begin{array}{ }{H}=G_{*}\oplus H\oplus G,\end{array}$

where UG ⊂ G and $U^{*}{G}_{*}\subset G_{*}.$ This representation is closely related with incoming and outgoing spaces in the scattering theory [ 3 ]. In the case that

$\begin{array}{ }{H}=span\left\{U^{n}H,n\in \mathbb{Z}\right\}\end{array}$

then G and G _∗ are uniquely determined and U is called minimal. If U is unitary minimal dilation of T then one may consider the decomposition [ 4 ]

$\begin{array}{ }U=\left[\begin{array}{ccc}{P}_{G_{*}}U\mid G_{*}& 0& 0\\ D_{T^{*}}{V}_{*}^{*}& T& 0\\ –V{T}^{*}{V}_{*}^{*}& V{D}_T& U\mid G\end{array}\right],\end{array}$

where $D_{T^{*}}$ and D _T are so called defect operators of T defined by

$\begin{array}{ }{D}_T={\left(I–T{T}^{*}\right)}^{1/2},D_{T^{*}}={\left(I–T^{*}T\right)}^{1/2},\end{array}$

???? _T and ${\mathrm{????}}_{T^{*}}$ are the defect spaces defined by

$\begin{array}{ }{\mathrm{????}}_T=clos{D}_{T}H,{\mathrm{????}}_{T^{*}}=clos{D}_{T^{*}}H,\end{array}$

V is a partial isometry with the initial space ???? _T and final space E = G ⊖ UG and V _∗ is a partial isometry with initial space ${\mathrm{????}}_{T^{*}}$ and the final space $E_{*}=G_{*}\ominus U^{*}{G}_{*}.$

Now consider the transformations

$\begin{array}{ }\pi :L^2\left(E\right)\to \underset{n\in \mathbb{Z}}{\oplus }{U}^n\left(G\ominus UG\right),\\ \sum _n{z}^n{e}_n\to \sum _n{U}^n\upsilon e_n,\end{array}$

and

$\begin{array}{ }{\pi }_{*}:L^2\left(E_{*}\right)\to \underset{n\in \mathbb{Z}}{\oplus }{U}^n\left(G_{*}\ominus U^{*}{G}_{*}\right),\\ \sum _n{z}^n{e}_n^{*}\to \sum _n{U}^{n+1}{\upsilon }_{*}{e}_n^{*},\end{array}$

where υ and υ _∗ are the unitary mappings defined by

$\begin{array}{ }\upsilon :E\to G\ominus UG\end{array}$

and

$\begin{array}{ }{\upsilon }_{*}:E_{*}\to G_{*}\ominus U^{*}{G}_{*}.\end{array}$

In the literature the operators π and π _∗ are called functional embeddings. The function ${\pi }_{*}^{*}\pi$ acting from E into E _∗ is called the characteristic function of the contraction T . If υ and υ _∗ are chosen as the unitary identifications between ???? _T and E , and,${\mathrm{????}}_{T^{*}}$ and E _∗, respectively, then the characteristic function can be introduced as

$\begin{array}{ }{\pi }_{*}^{*}\pi ={\Theta }_T\left(\zeta \right)a=V_{*}\left(–T+\zeta D_{T^{*}}{\left(I–\zeta T^{*}\right)}^{–1}{D}_T\right)V^{*}a,a\in E.\end{array}$

Nagy and Foiaş introduced the characteristic function of a contraction as [ 1 ]

$\begin{array}{ }{\Theta }_T=–T+\zeta D_{T^{*}}{\left(I–\zeta T^{*}\right)}^{–1}{D}_T\end{array}$

and this can be obtained from the previous equation by choosing E = ???? _T and $E_{*}={\mathrm{????}}_{T^{*}}.$

Solomyak [ 5 ] using the connection between dissipative operators and their Cayley transforms introduced an effective way to obtain the characteristic function of both dissipative operators and related contractions generated by Cayley transforms. By a dissipative operator it is meant an operator A with a dense domain D ( A ) acting on a Hilbert space K satisfying

$\begin{array}{ }\text{Im}\left(Ah,h\right)\ge 0,h\in D\left(A\right).\end{array}$

An immediate result on dissipative operators is that all eigenvalues lie in the closed upper half-plane. If a dissipative operator does not have a proper dissipative extension then A is called maximal dissipative. The Cayley transform of a dissipative operator

$\begin{array}{ }C\left(A\right)=\left(A–iI\right){\left(A+iI\right)}^{–1}\end{array}$

is a contraction from ( A + iI ) D ( A ) onto ( A − iI ) D ( A ), i. e.,

$\begin{array}{ }\parallel C\left(A\right)\parallel \le 1.\end{array}$

It is known that a dissipative operator is maximal if and only if C ( A ) is a contraction such that domain of C ( A ) is the Hilbert space K and 1 can not belong to the point spectrum of C ( A ). Solomyak used these connections and boundary spaces associated with A to construct the characteristic function S _A (λ) with the rule

$\begin{array}{ l}{S}_A\left(\lambda \right)=P_{*}{\left(A^{*}–\lambda I\right)}^{–1}\left(A–\lambda I\right)P^{–1},& \left(\mathrm{1.\; 1}\right)\end{array}$

where P and P _∗ are the natural projections. To be more precise we should note that for a maximal dissipative operator A the Hermitian part A _H of A is defined as the restriction of A to the following subspace

$\begin{array}{ }{G}_A=\left\{f\in D\left(A\right)\cap D\left(A^{*}\right):Af=A^{*}f\right\}.\end{array}$

The natural projection P is defined by

$\begin{array}{ }P:D\left(A\right)\to D\left(A\right)/G_A,\end{array}$

where D ( A )/ G _A is the quotient space. Similarly P _∗ is defined by

$\begin{array}{ }{P}_{*}:D\left(A^{*}\right)\to D\left(A^{*}\right)/G_A.\end{array}$

On the quotient spaces the following inner products are defined

$\begin{array}{ }\langle P\phi ,P\psi \rangle =\frac{i}{2}\left(\left(\phi ,P\psi \right)–\left(P\phi ,\psi \right)\right),\phi ,\psi \in D\left(A\right)\end{array}$

and

$\begin{array}{ }\langle P_{*}{\phi }_{*},P_{*}{\psi }_{*}\rangle =\frac{i}{2}\left(\left({\phi }_{*},P_{*}{\psi }_{*}\right)–\left(P_{*}{\phi }_{*},{\psi }_{*}\right)\right),{\phi }_{*},{\psi }_{*}\in D\left(A^{*}\right).\end{array}$

Let F ( A ) be the completion of the quotient space D ( A )/ G _A with respect to the norm

${\Vert P\phi \Vert }_F^2\begin{array}{ }=\text{Im}(A\phi ,\phi ).\end{array}$

In a similar way one may define $F_{*}\left(A\right):=F\left(–A^{*}\right)$ and F _∗( A ) is equipped with the norm

${\Vert P_{*}{\phi }_{*}\Vert }_{F_{*}}^2\begin{array}{ }=-\text{Im}(A^{*}{\phi }_{*},{\phi }_{*}).\end{array}$

These spaces F ( A ) and F _∗( A ) are called boundary spaces. Solomyak showed for a maximal dissipative operator A and its Cayley transform C ( A ) that there exist isometric isomorphisms

$\begin{array}{ }\rho :F\left(A\right)\to {\mathrm{????}}_C,{\rho }_{*}:F_{*}\left(A\right)\to {\mathrm{????}}_{C^{*}}\end{array}$

with the rules

$\begin{array}{ }\rho P\left(I–C\right)={\mathrm{????}}_C,{\rho }_{*}{P}_{*}\left(I–C^{*}\right)={\mathrm{????}}_{C^{*}}.\end{array}$

Then fixing arbitrary isometric isomorphisms Ω : E → ???? _C ,${\Omega }_{*}:E_{*}\to {\mathrm{????}}_{C^{*}}$ the characteristic function Θ _C of the Cayley transform C ( A ) can be introduced by

$\begin{array}{ }{\Theta }_C\left(\zeta \right)={\Omega }_{*}^{*}\left(–C+\zeta D_{C^{*}}\left(I–\zeta C^{*}\right)D_C\right)\Omega .\end{array}$

Finally taking Ω = ρ, Ω _∗= ρ _∗, E = F ( A ), E _∗= F _∗( A ) one obtains (1. 1).

In this paper using the results of Solomyak we investigate some spectral properties of a regular third-order dissipative operator. We should note that such an investigation with the aid of Solomyak’s approach has not been introduced for the third-order case. In fact, the literature has less works on odd-order operators than on even-order equations even if there exists some results in the literature [ 6 – 13 ]. The main reason is the confusion of imposing the boundary conditions because as Everitt says in [ 9 ] that it is impossible to impose separated boundary conditions for the solutions of a third-order equation. Consequently, this paper may give an idea to use Solomyak’s method for the odd-order dissipative or accumulative operators.

2. Maximal Dissipative Operator

Throughout the paper we consider the following third-order differential expression

$\begin{array}{ }\ell \left(y\right)=\frac{1}{w}\left\{–i{\left(q_0{\left(q_0{y}^{\prime }\right)}^{\prime }\right)}^{\prime }–{\left(p_0{y}^{\prime }\right)}^{\prime }+i\left[q_1{y}^{\prime }+{\left(q_{1}y\right)}^{\prime }\right]+p_{1}y\right\}\\ ,x\in \left[a,b\right],\end{array}$

where q _j , p _j , j = 0, 1, w are real-valued and continuous functions on [ a, b ] and q ₀ > 0 or q ₀ < 0 and w > 0 on [ a, b ].

The quasi-derivative y ^{[ r ]} of the function y is defined by

$\begin{array}{ }\begin{array}{ccc}{y}^{\left[0\right]}=y,& y^{\left[1\right]}=–\frac{1+i}{\sqrt{2}}{q}_0{y}^{\prime },& y^{\left[2\right]}=i{q}_0{\left(q_0{y}^{\prime }\right)}^{\prime }+p_0{y}^{\prime }–i{q}_{1}y.\end{array}\end{array}$

Let H denote the Hilbert space with the usual inner product

$\begin{array}{ }\left(y,z\right)=\underset{a}{\overset{b}{\int }}y\overline{z}wdx\end{array}$

and with the norm

${\Vert y\Vert }^2\begin{array}{ }=(y,y).\end{array}$

Now consider the subspace D of H which consists of the functions y ∈ H such that y ^{[ r ]}, 0 ≤ r ≤ 2, is locally absolutely continuous on [ a, b ] and ℓ( y ) ∈ H . The maximal operator L is defined on D by

$\begin{array}{ }Ly=\ell \left(y\right),y\in D,x\in \left[a,b\right].\end{array}$

For y, z ∈ D following Lagrange’s formula can be introduced

$\begin{array}{ l}\left(Ly,z\right)–\left(y,Lz\right)=\left[y,z\right]\left(b\right)–\left[y,z\right]\left(a\right),& \left(\mathrm{2.\; 1}\right)\end{array}$

where

$\begin{array}{ }\left[y,z\right]:=y\overline{z^{\left[2\right]}}–y^{\left[2\right]}\overline{z}+i{y}^{\left[1\right]}\overline{z^{\left[1\right]}}.\end{array}$

(2. 1) particulary implies the meaning of [ y, z ]( a ) and [ y, z ]( b ) for y, z ∈ D .

Let $D_0^{\prime }$ be a set of D that consists of those functions y ∈ D such that y has a compact support on [ a, b ]. The operator $L_0^{\prime }$ which is the restriction of L to $D_0^{\prime }$ is a densely defined symmetric operator and therefore it admits the closure. Let L ₀ be the closure of $L_0^{\prime }.$ L ₀ then becomes a densely defined, symmetric operator with domain D ₀ that consists of the functions y ∈ D satisfying

$\begin{array}{ }{y}^{\left[r\right]}\left(a\right)=y^{\left[r\right]}\left(b\right)=0,0\le r\le 2.\end{array}$

Moreover one has $L_0^{*}=L$[ 14 , 15 ].

For the symmetric operators there exists a useful theory called deficiency indices theory to construct the extensions. In fact, let M be a symmetric operator on a Hilbert space B and R _λ denoted the range of M − λ I , where λ is a parameter and I is the identity operator in B . The deficiency spaces N _λ and $N_{\overline{\lambda }}$ are defined by Naimark [ 14 ]

$\begin{array}{ }{N}_{\lambda }=B\ominus R_{\lambda },N_{\overline{\lambda }}=B\ominus R_{\overline{\lambda }}.\end{array}$

The deficiency indices ( m, n ) of the operator M are defined by

$\begin{array}{ }\left(m,n\right)=\left(dim{N}_i,dim{N}_{–i}\right).\end{array}$

Note that the deficiency indices of L ₀ are (3, 3).

To describe the extensions of a closed, symmetric operator with equal deficiency indices one may use the boundary value space. Boundary value space of the closed symmetric operator M is a triple ( K , σ ₁ , σ ₂ ) such that σ ₁ , σ ₂ are linear mappings from D ( M ^*) (domain of M ^*) into K and following holds:

( i ) for any f, g ∈ D ( M ^*)

$\begin{array}{ }\left(M^{*}f,g\right)–\left(f,M^{*}g\right)={\left({\sigma }_{1}f,{\sigma }_{2}g\right)}_K–{\left({\sigma }_{2}f,{\sigma }_{1}g\right)}_K,\end{array}$

( ii ) for and F ₁ , F ₂ ∈ K , there exists a vector f ∈ D ( M ^*) such that σ ₁ f = F ₁ and σ ₂ f = F .

Now for y ∈ D consider the following mappings

$\begin{array}{ }{\sigma }_{1}y=\left(y^{\left[2\right]}\left(a\right),\frac{1}{2}{y}^{\left[1\right]}\left(a\right)+\frac{i}{2}{y}^{\left[1\right]}\left(b\right),y\left(b\right)\right)\end{array}$

and

$\begin{array}{ }{\sigma }_{2}y=\left(y\left(a\right),i{y}^{\left[1\right]}\left(a\right)+y^{\left[1\right]}\left(b\right),y^{\left[2\right]}\left(b\right)\right).\end{array}$

Then we have the following Lemma.

Lemma 2. 1. For y, z ∈ D

${({\sigma }_{1}y,{\sigma }_{2}z)}_{{ℂ}^3}-{({\sigma }_{2}y,{\sigma }_{1}z)}_{{ℂ}^3}=[y,z]\left(b\right)-[y,z]\left(a\right).$

Proof: Let y, z ∈ D . Then

$\begin{array}{ }{\left({\sigma }_{1}y,{\sigma }_{2}z\right)}_{{ℂ}^3}-{\left({\sigma }_{2}y,{\sigma }_{1}z\right)}_{{ℂ}^3}={\sigma }_{1}y{\left({\sigma }_{2}z\right)}^{\ast }-{\sigma }_{2}y{\left({\sigma }_{1}z\right)}^{\ast }\\ =y^{\left[2\right]}\left(a\right)\overline{z\left(a\right)}+\left(\frac{1}{2}{y}^{\left[1\right]}\left(a\right)+\frac{i}{2}{y}^{\left[1\right]}\left(b\right)\right)\left(-i\overline{z^{\left[1\right]}\left(a\right)}+z^{\left[1\right]}\left(b\right)\right)\\ +y\left(b\right)\overline{z^{\left[2\right]}\left(b\right)}-[y\left(a\right)\overline{z^{\left[2\right]}\left(a\right)}+\left(i{y}^{\left[1\right]}\left(a\right)+y^{\left[1\right]}\left(b\right)\right)(\frac{1}{2}\overline{z^{\left[1\right]}\left(a\right)}\\ -\frac{i}{2}\overline{z^{\left[1\right]}\left(b\right)})+y^{\left[2\right]}\left(b\right)\overline{z\left(b\right)}]=[y,z]\left(b\right)-[y,z]\left(a\right).\end{array}$

This completes the proof.□

One of our aim is to impose some suitable boundary conditions for the solution y of the equation

$\begin{array}{ l}–i{\left(q_0{\left(q_0{y}^{\prime }\right)}^{\prime }\right)}^{\prime }–{\left(p_0{y}^{\prime }\right)}^{\prime }+i\left[q_1{y}^{\prime }+{\left(q_{1}y\right)}^{\prime }\right]+p_{1}y=\lambda wy,x\in \left[a,b\right],& \left(\mathrm{2.\; 2}\right)\end{array}$

where λ is the spectral parameter and y ∈ D . We should note that the Equation (2. 2) has a unique solution χ( x , λ) satisfying the initial conditions

$\begin{array}{ }{\chi }^{\left[r\right]}\left(c,\lambda \right)=l_r,0\le r\le 2,\end{array}$

where l _r is a complex number. This fact follows from the assumptions on the coefficients q ₀ , q ₁ , p ₀ , p ₁ , w , and following representation

$\begin{array}{ l}{Y}^{\prime }=A\left(x,\lambda \right)Y,& \left(\mathrm{2.\; 3}\right)\end{array}$

where

$\begin{array}{ }Y=\left[\begin{array}{c}{y}^{\left[0\right]}\\ y^{\left[1\right]}\\ y^{\left[2\right]}\end{array}\right],A=\left[\begin{array}{ccc}0& –\frac{\sqrt{2}}{\left(1+i\right)q_0}& 0\\ –\frac{1+i}{\sqrt{2}}\frac{q_1}{q_0}& i\frac{p_0}{q_0^2}& –\frac{\sqrt{2}}{\left(1+i\right)q_0}\\ p_1–\lambda w& –\frac{1+i}{\sqrt{2}}\frac{q_1}{q_0}& 0\end{array}\right].\end{array}$

Then the theory on ordinary differential equations may be applied to the first-order system (2. 3), where the elements of A are integrable on each compact subintervals of [ a, b ].

Now the next Lemma can be introduced with the aid of Naimark’s patching Lemma [ 14 ].

Lemma 2. 2. There exists y ∈ D satisfying

$\begin{array}{ }{y}^{\left[r\right]}\left(a\right)={\alpha }_r,y^{\left[r\right]}\left(b\right)={\beta }_r,0\le r\le 2,\end{array}$

where α _r , β _r are arbitrary complex numbers .

Now we may introduce the following.

Theorem 2. 3.$\left({ℂ}^3,{\sigma }_1,{\sigma }_2\right)$ is a boundary value space for L ₀ .

Proof: Since $L_0^{*}=L$ we obtain for y, z ∈ D that

$\begin{array}{ }\left(L_0^{*}y,z\right)–\left(y,L_0^{*}z\right)=\left[y,z\right]\left(b\right)–\left[y,z\right]\left(a\right).\end{array}$

Therefore, Lemma 2. 1 and Lemma 2. 2 complete the proof.□

Let S be a contraction and N be a selfadjoint operator on ℂ ³ . Then using the Theorem of Gorbachuks’ [ 16 ], p. 156, the following abstract Theorem can be introduced.

Theorem 2. 4. Let f ∈ D . Then the conditions

$\begin{array}{ }\begin{array}{c}\left(sinN\right){\sigma }_{1}f–\left(cosN\right){\sigma }_{2}f=0,\\ \left(S–I\right){\sigma }_{1}f+i\left(S+I\right){\sigma }_{2}f=0,\\ \left(S–I\right){\sigma }_{1}f–i\left(S+I\right){\sigma }_{2}f=0,\end{array}\end{array}$

describe, respectively, the maximal selfadjoint, maximal dissipative, and maximal accumulative extensions of L ₀ .

Since we will investigate the spectral properties of the maximal dissipative extension of L ₀ we shall introduce the following.

Corollary 2. 5. For y ∈ D the maximal dissipative extension of L ₀ is described by

$\begin{array}{ }y\left(a\right)+h_1{y}^{\left[2\right]}\left(a\right)=0,\text{Im}{h}_1\ge 0,\\ i{y}^{\left[1\right]}\left(a\right)+y^{\left[1\right]}\left(b\right)+h_{2,\ast }\left(\frac{1}{2}{y}^{\left[1\right]}\left(a\right)+\frac{i}{2}{y}^{\left[1\right]}\left(b\right)\right)=0,\text{Im}{h}_{2,\ast }\ge 0,\\ y^{\left[2\right]}\left(b\right)+h_{3}y\left(b\right)=0,\text{Im}{h}_3\ge 0.\end{array}$

Corollary 2. 6. For y ∈ D the conditions

$\begin{array}{ }y\left(a\right)+h_1{y}^{\left[2\right]}\left(a\right)=0,\text{Im}{h}_1=0,\\ (i+h_2)y^{\left[1\right]}\left(a\right)+(1+i{h}_2)y^{\left[1\right]}\left(b\right)=0,\text{Im}{h}_2>0,h_2\ne i,\\ y^{\left[2\right]}\left(b\right)+h_{3}y\left(b\right)=0,\text{Im}{h}_3>0,& \left(\mathrm{2.\; 4}\right)\end{array}$

where h ₂ = h _2,∗/2, describe the maximal dissipative extension of L ₀ .

Remark 2. 7. As may be seen in the next sections, the case h ₂ = i may give rise to some complications. Therefore, we exclude this case .

Now let $D\left({L}\right)$ be a set consisting of all functions y ∈ D satisfying the conditions (2. 4). Let us define the operator ${L}$ on $D\left({L}\right)$ with the rule

$\begin{array}{ }{L}y=\ell \left(y\right),y\in D\left({L}\right),x\in \left[a,b\right].\end{array}$

Then ${L}$ is a maximal dissipative operator on H .

The adjoint operator ${{L}}^{*}$ of ${L}$ is given by

$\begin{array}{ }{{L}}^{*}y=\ell \left(y\right),y\in D\left({{L}}^{*}\right),x\in \left[a,b\right],\end{array}$

where $D\left({{L}}^{*}\right)$ is the domain of ${{L}}^{*}$ consisting of all functions y ∈ D satisfying

$\begin{array}{ }y\left(a\right)+h_1{y}^{\left[2\right]}\left(a\right)=0,\text{Im}{h}_1=0,\\ (-i+{\overline{h}}_2)y^{\left[1\right]}\left(a\right)+(1-i{\overline{h}}_2)y^{\left[1\right]}\left(b\right)=0,\text{Im}{h}_2>0,h_2\ne -i,\\ y^{\left[2\right]}\left(b\right)+{\overline{h}}_{3}y\left(b\right)=0,\text{Im}{h}_3>0.\end{array}$

Theorem 2. 8.${L}$ is totally dissipative (simple) in H .

Proof: This follows from choosing h ₂ and h ₃ with positive imaginary parts. Indeed, for $y\in D\left({L}\right)$ one gets

$\begin{array}{ l}\text{Im}\left({L}y,y\right)=\frac{2\text{Im}{h}_2}{|1+i{h}_2{|}^2}|y^{\left[1\right]}\left(a\right){|}^2+\text{Im}{h}_3|y\left(b\right){|}^2.& \left(\mathrm{2.\; 5}\right)\end{array}$

If ${L}$ had a selfadjoint part ${{L}}_s$ in H _s ⊂ H then from (2. 5) one would get

$\begin{array}{ }y\left(b\right)=y^{\left[1\right]}\left(b\right)=y^{\left[2\right]}\left(b\right)=0\end{array}$

and therefore y ≡ 0. This completes the proof.□

3. Contractive Operator

There exists a connection between dissipative operator ${L}$ and the contractive operator ${C}$. This connection can be given by the following relation

$\begin{array}{ }{C}=\left({L}–iI\right){\left({L}+iI\right)}^{–1}.\end{array}$

Since ${L}$ is maximal dissipative the domain of ${C}$ is the whole Hilbert space H .

An important class of contractions on a Hilbert space consists of completely non-unitary (c. n. u.) contractions. A contraction C is said to be c. n. u. if there exists no non-zero reducing subspace H ₀ such that C ∣ H ₀ is a unitary operator.

From the simplicity of ${L}$ we have the following.

Theorem 3. 1.${C}$ is a c. n. u. contraction on H .

Proof: Let ${\left({L}+iI\right)}^{–1}f=y,$ where $y\in D\left({L}\right)$ and f ∈ H . Then we get

$\begin{array}{ l}{\Vert ({L}-iI)y\Vert }^2<{\Vert ({L}+iI)y\Vert }^2& \left(\mathrm{3.\; 1}\right)\end{array}$

because

$\begin{array}{ }\text{Im}\left({L}y,y\right)>0,y\in D\left({L}\right).\end{array}$

(3. 1) implies that

$\begin{array}{ l}\parallel {C}\parallel <1& \left(\mathrm{3.\; 2}\right)\end{array}$

and this completes the proof.□

Now we define the defect operators of ${C}$ as

$\begin{array}{ }{D}_{{C}}={\left(I–{{C}}^{*}{C}\right)}^{1/2},D_{{{C}}^{*}}={\left(I–{{CC}}^{*}\right)}^{1/2}\end{array}$

and the defect spaces of ${C}$ as

$\begin{array}{ }{\mathrm{????}}_{{C}}=\overline{D_{{C}}H},{\mathrm{????}}_{{{C}}^{*}}=\overline{D_{{{C}}^{*}}H}.\end{array}$

The numbers ???? _C and ${\mathrm{????}}_{C^{*}}$ defined by

$\begin{array}{ }{\mathrm{????}}_C=dim{\mathrm{????}}_{{C}},{\mathrm{????}}_{C^{*}}=dim{\mathrm{????}}_{{{C}}^{*}}\end{array}$

are called the defect indices of ${C}.$

Theorem 3. 2.${\mathrm{????}}_C={\mathrm{????}}_{C^{*}}=2.$

Proof: Consider the equation

$\begin{array}{ }{D}_{{C}}^{2}f=\left({L}+iI\right)y–\left({{L}}^{*}+iI\right)z,\end{array}$

where $f=\left({L}+iI\right)y,$$y\in D\left({L}\right),$ f ∈ H and $z\in D\left({{L}}^{*}\right).$ Then

$\begin{array}{ }z={\left({{L}}^{*}–iI\right)}^{–1}\left({L}–iI\right)y\end{array}$

or

$\begin{array}{ l}\left({{L}}^{*}–iI\right)z=\left({L}–iI\right)y.& \left(\mathrm{3.\; 3}\right)\end{array}$

Equation (3. 3) implies that ${\mathrm{????}}_{{C}}$ is spanned by two independent solutions. In fact, let φ( x , λ) and $\tilde{\phi }\left(x,\lambda \right)$ be two solutions of (2. 2) satisfying

$\begin{array}{ l}\phi \left(a,\lambda \right)=–h_1,{\phi }^{\left[2\right]}\left(a,\lambda \right)=1,{\phi }^{\left[1\right]}\left(a,\lambda \right)=c\left(\ne 0\right),& \left(\mathrm{3.\; 4}\right)\end{array}$

where c is a constant and

$\begin{array}{ }\tilde{\phi }\left(a,\lambda \right)=–h_1,{\tilde{\phi }}^{\left[2\right]}\left(a,\lambda \right)=1,{\phi }^{\left[1\right]}\left(a,\lambda \right)=0.\end{array}$

(2. 5) needs the solutions of (2. 2) satisfying the condition

$\begin{array}{ l}y\left(a\right)+h_1{y}^{\left[2\right]}\left(a\right)=0,h_1\in ℝ& \left(\mathrm{3.\; 5}\right)\end{array}$

Clearly φ and $\tilde{\phi }$ satisfies (3. 5) and φ can not be represented by a constant of $\tilde{\phi }.$ If there exists any other solution ψ( x , λ) of (2. 2) satisfying

$\begin{array}{ }\psi \left(a,\lambda \right)=–h_1,{\psi }^{\left[2\right]}\left(a,\lambda \right)=1,{\psi }^{\left[1\right]}\left(a,\lambda \right)=c_1,\end{array}$

where c ₁ is another constant different from c then $\tilde{\psi }\left(x,\lambda \right):=\left(c_1/c\right)\phi \left(x,\lambda \right)$ becomes a solution of (2. 2) satisfying (3. 5) and ψ( x , λ) may be introduced by φ( x , λ).

Therefore,

$\begin{array}{ }{D}_{{C}}^{2}f=\left(\ell +iI\right)\left(y–z\right)=2i\left(d_1\phi +d_2\tilde{\phi }\right),\end{array}$

where d ₁ and d ₂ are constants and ${\mathrm{????}}_{{C}}$ is spanned by φ( x, i ) and $\tilde{\phi }\left(x,i\right).$

With a similar argument one may see that

$\begin{array}{ }{D}_{{{C}}^{*}}^{2}f=\left(\ell –iI\right)\left(y–z\right)=–2i\left(d_1\phi +d_2\tilde{\phi }\right),\end{array}$

and therefore ${\mathrm{????}}_{{{C}}^{*}}$ is spanned by φ( x , − i ) and $\tilde{\phi }\left(x,–i\right).$

This completes the proof.□

Definition 3. 3. [ 17 ] The classes C _0. and C _{. 0} are defined as

$\begin{array}{ }\begin{array}{c}{C}_{0.}=\left\{T:\parallel T\parallel \le 1,{lim}_n\parallel T^{n}f\parallel =0\text{for all}f\right\},\\ C_{.0}=\left\{T:\parallel T\parallel \le 1,{lim}_n\parallel T^{*n}f\parallel =0\text{for all}f\right\}.\end{array}\end{array}$

C ₀₀ is defined by C ₀₀ = C _0.∩ C _{. 0} .

Theorem 3. 4.${C}\in C_{00}.$

Proof: This follows from (3. 2),$\parallel {C}\parallel =\parallel {{C}}^{*}\parallel$ and the equalities

$\begin{array}{ }\parallel C^{n}f\parallel \le \parallel C{\parallel }^n\parallel f\parallel ,\end{array}$

and

$\begin{array}{ }\parallel C^{*n}f\parallel \le \parallel C^{*}{\parallel }^n\parallel f\parallel .\end{array}$

□

The class C ₀ consists of those c. n. u. contractions T for which there exists a non-zero function u ∈ H ^∞( H ^p denotes the Hardy class) such that u ( T ) = 0. Since C belongs to the class C ₀₀ with finite defect numbers this implies the following [ 1 ].

Theorem 3. 5.${C}\in C_0.$

4. Characteristic Function

We shall consider the inner product on the quotient space $D\left({L}\right)/G_{{L}}$ as follows

$\begin{array}{ }\left(Py,Pz\right)=\frac{i}{2}\left(\left(y,{L}y\right)–\left({L}y,y\right)\right),y,z\in D\left({L}\right),\end{array}$

where P is the natural projection with $P:D\left({L}\right)\to D\left({L}\right)/G_{{L}}.$ The completion of $D\left({L}\right)/G_{{L}}$ is denoted by $F\left({L}\right)$ with respect to the corresponding norm. Similarly $F_{*}\left({L}\right):=F\left(–{{L}}^{*}\right)$ and P _∗ is defined by $P_{*}:D\left({{L}}^{*}\right)\to D\left({{L}}^{*}\right)/G_{{L}}.$ One has

$\begin{array}{ l}{\Vert Py\Vert }_F^2=\text{Im}({L}y,y),{\Vert P_{\ast }y\Vert }_{F_{\ast }}^2=-\text{Im}({{L}}^{\ast }y,y).& \left(\mathrm{4.\; 1}\right)\end{array}$

$F\left({L}\right)$ and $F\left({{L}}^{*}\right)$ are the boundary spaces of ${L}.$ From (4. 1) we get

$\begin{array}{ l}{\Vert Py\Vert }_F^2=\frac{2\text{Im}{h}_2}{|1+i{h}_2{|}^2}|y^{\left[1\right]}\left(a\right){|}^2+\text{Im}{h}_3|y\left(b\right){|}^2& \left(\mathrm{4.\; 2}\right)\end{array}$

and

$\begin{array}{ l}{\Vert P_{*}z\Vert }_{F_{*}}^2\begin{array}{c}=\frac{2\text{Im}{h}_2}{|1+i{h}_2{|}^2}\left|z^{\left[1\right]}\right(a){|}^2+\text{Im}{h}_3|z\left(b\right){|}^2.\end{array}& \left(\mathrm{4.\; 3}\right)\end{array}$

From (4. 2) and (4. 3) we may set

$\begin{array}{ }\begin{array}{cc}Py=\left[\begin{array}{c}\frac{\sqrt{2\text{Im}{h}_2}}{|1+i{h}_2|}{y}^{\left[1\right]}\left(a\right)\\ \sqrt{\text{Im}{h}_3}y\left(b\right)\end{array}\right],& P_{*}z=\left[\begin{array}{c}\frac{\sqrt{2\text{Im}{h}_2}}{|1+i{h}_2|}{z}^{\left[1\right]}\left(a\right)\\ \sqrt{\text{Im}{h}_3}z\left(b\right)\end{array}\right].\end{array}\end{array}$

Setting $E=E_{*}={ℂ}^2$ we define the following isometric isomorphisms

$\begin{array}{ }\text{Ψ}:E\to F\left({L}\right),\\ c=\left[\begin{array}{c}{c}_1\\ c_2\end{array}\right]\to \text{Ψ}\left(c\right)=Py=\left[\begin{array}{c}\frac{\sqrt{2\text{Im}{h}_2}}{|1+i{h}_2|}{y}^{\left[1\right]}\left(a\right)\\ \sqrt{\text{Im}{h}_3}y\left(b\right)\end{array}\right],& \left(\mathrm{4.\; 4}\right)\end{array}$

where $y\in D\left({L}\right),$$y^{\left[1\right]}\left(a\right)=c_2|1+i{h}_2|{\left(2{\text{Im}}{h}_2\right)}^{–1/2},$$y\left(b\right)=c_1{\left({\text{Im}}{h}_3\right)}^{–1/2}$ and

$\begin{array}{ }{\text{Ψ}}_{*}:E_{*}\to F_{*}\left({L}\right),\\ c=\left[\begin{array}{c}{c}_1\\ c_2\end{array}\right]\to {\text{Ψ}}_{*}\left(c\right)=P_{*}z=\left[\begin{array}{c}\frac{\sqrt{2\text{Im}{h}_2}}{|1+i{h}_2|}{z}^{\left[1\right]}\left(a\right)\\ \sqrt{\text{Im}{h}_3}z\left(b\right)\end{array}\right],& \left(\mathrm{4.\; 5}\right)\end{array}$

where $z\in D\left({{L}}^{*}\right),$$z^{\left[1\right]}\left(a\right)=c_2|1+i{h}_2|{\left(2{\text{Im}}{h}_2\right)}^{–1/2},$$z\left(b\right)=c_1{\left({\text{Im}}{h}_3\right)}^{–1/2}.$ Then we may introduce the characteristic function of ${L}.$

Theorem 4. 1. The characteristic matrix-function ${\Theta }_{{L}}$ of ${L}$ is given by

$\begin{array}{ }{\Theta }_{{L}}\left(\lambda \right)=\left[\begin{array}{cc}\frac{–i+\overline{h_2}}{i+h_2}\frac{\left(1+i{h}_2\right){\phi }^{\left[1\right]}\left(b\right)–\left(i+h_2\right){\phi }^{\left[1\right]}\left(a\right)}{\left(1–i\overline{h_2}\right){\phi }^{\left[1\right]}\left(b\right)–\left(–i+\overline{h_2}\right){\phi }^{\left[1\right]}\left(a\right)}& 0\\ 0& \frac{{\phi }^{\left[2\right]}\left(b\right)+h_3\phi \left(b\right)}{{\phi }^{\left[2\right]}\left(b\right)+\overline{h_3}\phi \left(b\right)}\end{array}\right],\text{Im}\lambda >0.\end{array}$

Proof: Consider the equation

$\begin{array}{ l}{\Theta }_{{L}}\left(\lambda \right)c={\text{Ψ}}_{*}^{*}{P}_{*}{\left({{L}}^{*}–\lambda I\right)}^{–1}\left({L}–\lambda I\right)P^{–1}\text{Ψ}c.& \left(\mathrm{4.\; 6}\right)\end{array}$

(4. 4) implies that y ∈ P ⁻¹ Ψ c with $y\in D\left({L}\right)$ and therefore

$\begin{array}{ l}{\left({{L}}^{*}–\lambda I\right)}^{–1}\left({L}–\lambda I\right)y=z,& \left(\mathrm{4.\; 7}\right)\end{array}$

where $z\in D\left({{L}}^{*}\right)$ and

$\begin{array}{ l}\left({L}–\lambda I\right)y=\left({{L}}^{*}–\lambda I\right)z.& \left(\mathrm{4.\; 8}\right)\end{array}$

Using (4. 6) and (4. 7) we obtain

$\begin{array}{ l}{\text{Ψ}}_{*}^{*}{P}_{*}z=\left[\begin{array}{c}\frac{\sqrt{2\text{Im}{h}_2}}{|1+i{h}_2|}{z}^{\left[1\right]}\left(a\right)\\ \sqrt{\text{Im}{h}_3}z\left(b\right)\end{array}\right].& \left(\mathrm{4.\; 9}\right)\end{array}$

From (4. 8) we should find a solution u = z − y of the Equation (2. 2) satisfying (3. 5). Therefore, we may set $u=B(\lambda )\phi (x,\lambda ),$, where φ is the solution of (2. 2) satisfying the conditions in (3. 4). Consider the equation

$\begin{array}{ l}{\left(z–y\right)}^{\left[2\right]}\left(b\right)=\frac{{\phi }^{\left[2\right]}\left(b,\lambda \right)}{\phi \left(b,\lambda \right)}\left(z–y\right)\left(b\right).& \left(\mathrm{4.\; 10}\right)\end{array}$

Since $y\in D\left({L}\right)$ and $z\in D\left({{L}}^{*}\right)$ we get from (4. 10)

$\begin{array}{ l}z\left(b\right)\left({\phi }^{\left[2\right]}\left(b,\lambda \right)+\overline{h_3}{\phi }^{\left[2\right]}\left(b,\lambda \right)\right)=y\left(b\right)\left({\phi }^{\left[2\right]}\left(b,\lambda \right)+h_3{\phi }^{\left[2\right]}\left(b,\lambda \right)\right).& \left(\mathrm{4.\; 11}\right)\end{array}$

Similarly the equation

$\begin{array}{ }{\left(z–y\right)}^{\left[1\right]}\left(a\right)=\frac{{\phi }^{\left[1\right]}\left(a,\lambda \right)}{{\phi }^{\left[1\right]}\left(b,\lambda \right)}{\left(z–y\right)}^{\left[1\right]}\left(b\right)\end{array}$

gives

$\begin{array}{ l}\begin{array}{c}{z}^{\left[1\right]}\left(a\right)\frac{–i+\overline{h_2}}{1–i\overline{h_2}}\left({\phi }^{\left[1\right]}\left(a,\lambda \right)–\frac{1–i\overline{h_2}}{–i+\overline{h_2}}{\phi }^{\left[1\right]}\left(b,\lambda \right)\right)\\ =y^{\left[1\right]}\left(a\right)\frac{i+h_2}{1+i{h}_2}\left(\frac{1+i{h}_2}{i+h_2}{\phi }^{\left[1\right]}\left(b,\lambda \right)–{\phi }^{\left[1\right]}\left(a,\lambda \right)\right).\end{array}& \left(\mathrm{4.\; 12}\right)\end{array}$

(4. 6) and (4. 9) show that

$\begin{array}{ l}{\Theta }_{{L}}\left(\lambda \right)\left[\begin{array}{c}{c}_1\\ c_2\end{array}\right]=\left[\begin{array}{cc}\frac{z^{\left[1\right]}\left(a\right)}{y^{\left[1\right]}\left(a\right)}& 0\\ 0& \frac{z\left(b\right)}{y\left(b\right)}\end{array}\right]\left[\begin{array}{c}{c}_1\\ c_2\end{array}\right].& \left(\mathrm{4.\; 13}\right)\end{array}$

Consequently (4. 11) – (4. 13) complete the proof.□

Remind that a function Θ(ζ) whose values are bounded operators from a Hilbert space ℍ to a Hilbert space ℍ _∗, both separable and which has a power series expansion

$\begin{array}{ }\Theta \left(\zeta \right)=\sum _{k=0}^{\infty }{\zeta }^k{\Theta }_k\end{array}$

whose coefficients are bounded operators from ℍ to ℍ _∗. Moreover assume that

$\begin{array}{ }\parallel \Theta \left(\zeta \right)\parallel \le const.\end{array}$

Such a function with the spaces ℍ and ℍ _∗ is called bounded analytic function. If const = 1 then it is called contractive analytic function. The contractive analytic function Θ is said to be inner if Θ( e ^it ) is isometry from ℍ into ℍ _∗ for almost all t .

Since there exists a connection between the characteristic function ${\Theta }_{{L}}$ of ${L}$ and the characteristic function ${\Theta }_{{C}}$ of ${C}$ with the rule

$\begin{array}{ }{\Theta }_{{L}}\left(\lambda \right)={\Theta }_{{C}}\left(\frac{\lambda –i}{\lambda +i}\right)\end{array}$

we have the following.

Corollary 4. 2. The characteristic function ${\Theta }_{{C}}$ of C is given by

$\begin{array}{ }{\Theta }_{{C}}{\left(\mu \right)=\Theta }_{{L}}\left(\lambda \right),\mu =\frac{\lambda –i}{\lambda +i},\text{Im}\lambda >0.\end{array}$

Since ${C}$ is a c. n. u. contraction belonging to the class C _{. 0} we have the following.

Theorem 4. 3. Θ _C ( μ ) is inner .

Corollary 4. 4. det Θ _C ( μ ) is inner .

An operator A ≥ 0 on a Hilbert space ${H}$ is said to be of finite trace if A is compact and its eigenvalues is finite. This sum is called the trace of A [ 1 , 18 ]. A contraction C on a Hilbert space H is called weak contraction if

(i) its spectrum does not fill the unit disc D ,

(ii) I − C ^* C is of finite trace.

Since every C ₀ contraction with finite-multiplicity is a weak contraction [ 18 ], p. 437, we may introduce the following.

Theorem 4. 5.$I–{{C}}^{*}{C}$ is of finite trace .

The following Theorem is obtained from Nikolskiĭ [ 17 ], p. 134.

Theorem 4. 6. The followings are satisfied:

( i ) The root functions of ${C}$ are complete in H ,

( ii ) The roots functions of ${{C}}^{*}$ are complete in H ,

$\left(iii\right)det\left({{C}}^{*}{C}\right)=det|{\Theta }_{{C}}\left(0\right){|}^2=\prod _{\mu }|\mu {|}^{2d\left(\mu \right)},$

where μ belongs to the point spectrum of ${C}$ and d (μ) is the rank of the Riesz projection at a point μ in the set of point spectrum .

Proof: The proof follows from the fact $det{\Theta }_{{C}}$ is a Blashke product. So we shall prove this fact.

By Corollary 4. 4 we may write

$\begin{array}{ }\frac{–i+\overline{h_2}}{i+h_2}\frac{\left(1+i{h}_2\right){\phi }^{\left[1\right]}\left(b\right)–\left(i+h_2\right){\phi }^{\left[1\right]}\left(a\right)}{\left(1–i\overline{h_2}\right){\phi }^{\left[1\right]}\left(b\right)–\left(–i+\overline{h_2}\right){\phi }^{\left[1\right]}\left(a\right)}\frac{{\phi }^{\left[2\right]}\left(b\right)+h_3\phi \left(b\right)}{{\phi }^{\left[2\right]}\left(b\right)+\overline{h_3}\phi \left(b\right)}\\ =????\left(\lambda \right)e^{i\lambda b},& \left(\mathrm{4.\; 14}\right)\end{array}$

where b > 0, Im λ > 0 and ????(λ) is a Blashke product in the upper half-plane. Hence

$\begin{array}{ l}\left|\frac{\left(1+i{h}_2\right){\phi }^{\left[1\right]}\left(b\right)–\left(i+h_2\right){\phi }^{\left[1\right]}\left(a\right)}{\left(1–i\overline{h_2}\right){\phi }^{\left[1\right]}\left(b\right)–\left(–i+\overline{h_2}\right){\phi }^{\left[1\right]}\left(a\right)}\frac{{\phi }^{\left[2\right]}\left(b\right)+h_3\phi \left(b\right)}{{\phi }^{\left[2\right]}\left(b\right)+\overline{h_3}\phi \left(b\right)}\right|\le e^{–b\text{Im}\lambda }.& \left(\mathrm{4.\; 15}\right)\end{array}$

For λ _s = is we have from (4. 15) that the following possibilities may occur:

( i )$\frac{{\phi }^{\left[2\right]}\left(b\right)+h_3\phi \left(b\right)}{{\phi }^{\left[2\right]}\left(b\right)+\overline{h_3}\phi \left(b\right)}\to 0$ as s → ∞,

( ii )$\frac{\left(1+i{h}_2\right){\phi }^{\left[1\right]}\left(b\right)–\left(i+h_2\right){\phi }^{\left[1\right]}\left(a\right)}{\left(1–i\overline{h_2}\right){\phi }^{\left[1\right]}\left(b\right)–\left(–i+\overline{h_2}\right){\phi }^{\left[1\right]}\left(a\right)}\to 0$ as s → ∞,

( iii )$\frac{{\phi }^{\left[2\right]}\left(b\right)+h_3\phi \left(b\right)}{{\phi }^{\left[2\right]}\left(b\right)+\overline{h_3}\phi \left(b\right)}\to 0$ and $\frac{\left(1+i{h}_2\right){\phi }^{\left[1\right]}\left(b\right)–\left(i+h_2\right){\phi }^{\left[1\right]}\left(a\right)}{\left(1–i\overline{h_2}\right){\phi }^{\left[1\right]}\left(b\right)–\left(–i+\overline{h_2}\right){\phi }^{\left[1\right]}\left(a\right)}\to 0$ as s → ∞.

In fact ( iii ) is possible because in this case λ is an eigenvalue of ${L}$ and this implies that λ _∞ is an eigenvalue of the operator ${L}$ or equivalently 1 is an eigenvalue of the c. n. u. contraction ${C}.$ However the latter one is not possible. Therefore, this completes the proof.□

Definition 4. 7. Let all root functions of the operator L span the Hilbert space ${H}$. Such an operator is called complete operator. If every L − invariant subspace is generated by root vectors of L belonging to the subspace then it is said L admits spectral synthesis .

Since every complete operator in C ₀ admits spectral synthesis [ 17 ], we obtain the following.

Theorem 4. 8.${C}$ admits spectral synthesis .

Since the root functions of ${L}$ span H then those of ${C}$ must span H [ 19 ] (p. 42). Consequently we may introduce the following.

Theorem 4. 9. Root functions of ${L}$ associated with the point spectrum of ${L}$ in the open upper half-plane Im λ > 0 span the Hilbert space H .

5. Dilation Operator and Its Eigenfunctions

In this section we investigate the properties of selfadjoint dilation of the operator ${L}$ and eigenfunctions of selfadjoint dilation.

5. 1. Selfadjoint Dilation of the Maximal Dissipative Operator

Following theorem gives the selfadjoint operator with free parameters [ 5 ].

Theorem 5. 1. 1. The minimal selfadjoint dilation ${L}$ of the maximal dissipative operator ${L}$ in the space

$\begin{array}{ }{H}_{{L}}=L^2\left({ℝ}_{–},E_{*}\right)\oplus H\oplus L^2\left({ℝ}_{+},E\right)\end{array}$

has the form

$\begin{array}{ }{L}\left[\begin{array}{c}{\phi }_{–}\\ f\\ {\phi }_{+}\end{array}\right]=\left[\begin{array}{c}i{\phi }_{–}^{\prime }\\ i\left\{2{\left(I–{C}\right)}^{–1}\left[f–\frac{i}{\sqrt{2}}{D}_{{{C}}^{*}}{\Omega }_{*}{\phi }_{–}\left(0\right)\right]–\rho \right\}\\ i{\phi }_{+}^{\prime }\end{array}\right]\end{array}$

and the domain of ${L}$ is given by the conditions

$\begin{array}{ }{\phi }_{–}\in W_2^1\left({ℝ}_{–},E_{*}\right),{\phi }_{+}\in W_2^1\left({ℝ}_{+},E\right),\\ f–\frac{i}{\sqrt{2}}{D}_{{{C}}^{*}}{\Omega }_{*}{\phi }_{–}\left(0\right)\in \left(I–{C}\right)H=D\left({L}\right),\\ \sqrt{2}i{D}_{{C}}{\left(I–{C}\right)}^{–1}\left[f–\frac{i}{\sqrt{2}}{D}_{{{C}}^{*}}{\Omega }_{*}{\phi }_{–}\left(0\right)\right]={{C}}^{*}{\Omega }_{*}{\phi }_{–}\left(0\right)+\Omega {\phi }_{+}\left(0\right),\end{array}$

where $W_2^1$ denotes the Sobolev space .

The isometries $\Omega :E\to D_{{C}},$${\Omega }_{*}:E_{*}\to D_{{{C}}^{*}}$ are the free parameters. In the case that $dim{\mathrm{????}}_{{C}}<\infty ,$$dim{\mathrm{????}}_{{{C}}^{*}}<\infty$ then one may consider the boundary spaces $F\left({L}\right)$ and $F_{*}\left({L}\right)$ instead of ${\mathrm{????}}_{{C}}$ and ${\mathrm{????}}_{{{C}}^{*}}.$ Then following Lemma gives a direct approach for the dilation [ 5 ].

Lemma 5. 1. 2. The minimal selfadjoint dilation ${L}$ in the space $H_{{L}}$ of the maximial dissipative operator ${L}$ in H with finite defects has the form

$\begin{array}{ }{L}\left[\begin{array}{c}{\phi }_{–}\\ f\\ {\phi }_{+}\end{array}\right]=\left[\begin{array}{c}i{\phi }_{–}^{\prime }\\ {L}\left(f–\frac{i}{\sqrt{2}}\left[{\text{Ψ}}_{*}{\phi }_{–}\left(0\right)\right]\right)+\frac{i}{\sqrt{2}}{{L}}^{*}\left[{\text{Ψ}}_{*}{\phi }_{–}\left(0\right)\right]\\ i{\phi }_{+}^{\prime }\end{array}\right]\end{array}$

where $\text{Ψ}:E\to F\left({L}\right)$ and ${\text{Ψ}}_{*}:E_{*}\to F_{*}\left({L}\right)$ are the isometric isomorphisms and the domain of ${L}$ is given by the conditions

$\begin{array}{ }{\phi }_{-}\in W_2^1({ℝ}_{-},E_{\ast }),{\phi }_{+}\in W_2^1({ℝ}_{+},E),\\ f-\frac{i}{\sqrt{2}}\left[{\Psi }_{\ast }{\phi }_{-}\left(0\right)\right]\in D\left({L}\right),\\ f-\frac{i}{\sqrt{2}}\left[{\Psi }_{\ast }{\phi }_{-}\left(0\right)\right]+\frac{i}{\sqrt{2}}\left[\Psi {\phi }_{+}\left(0\right)\right]\in G_{{L}}.\end{array}$

If $G_{{L}}$ is dense in H one may consider $G_{{L}}=D\left({L}\right)\cap D\left({{L}}^{*}\right)$ and

$\tilde{{L}}:\text{}=\{\begin{array}{c}{L}\text{on}D\left({L}\right),\\ {{L}}^{\ast }\text{on}D\left({{L}}^{\ast }\right).\end{array}$

The following Corollary now may be introduced [ 5 ].

Corollary 5. 1. 3. The selfadjoint dilation ${L}$ of the maximal dissipative operator ${L}$ with finite defects such that $G_{{L}}$ is dense in H has the form

$\begin{array}{ }{L}\left[\begin{array}{c}{\phi }_{–}\\ f\\ {\phi }_{+}\end{array}\right]=\left[\begin{array}{c}i{\phi }_{–}^{\prime }\\ \tilde{{L}}f\\ i{\phi }_{+}^{\prime }\end{array}\right],\tilde{{L}}={\left({L}\mid G_{{L}}\right)}^{*},\end{array}$

and the domain of ${L}$ is given by the conditions

$\begin{array}{ }{\phi }_{-}\in W_2^1({ℝ}_{-},E_{\ast }),{\phi }_{+}\in W_2^1({ℝ}_{+},E),\\ f-\frac{i}{\sqrt{2}}\left[{\Psi }_{\ast }{\phi }_{-}\left(0\right)\right]\in D\left({L}\right),\\ f+\frac{i}{\sqrt{2}}\left[\Psi {\phi }_{+}\left(0\right)\right]\in D\left({{L}}^{\ast }\right).\end{array}$

Now using Corollary 5. 1. 3 we may introduce the following.

Theorem 5. 1. 4. The selfadjoint dilation ${L}$ of the maximal dissipative operator ${L}$ in the space

$\begin{array}{ }{H}_{{L}}=L^2\left({ℝ}_{–};{ℂ}^2\right)\oplus H\oplus L^2\left({ℝ}_{+};{ℂ}^2\right)\end{array}$

is given by the rule

$\begin{array}{ }{L}\left[\begin{array}{c}{\phi }_{–}\\ f\\ {\phi }_{+}\end{array}\right]=\left[\begin{array}{c}i{\phi }_{–}^{\prime }\\ \ell \left(f\right)\\ i{\phi }_{+}^{\prime }\end{array}\right]\end{array}$

whose domain is given by the conditions

$\begin{array}{ }\begin{array}{c}\left(i+h_2\right)f^{\left[1\right]}\left(a\right)+\left(1+i{h}_2\right)f^{\left[1\right]}\left(b\right)=\frac{\left(1–\left|h_2\right|\right)\left(1+i{h}_2\right)}{\sqrt{\text{Im}{h}_2}|1+i{h}_2|}{\phi }_{–}^{\left(1\right)}\left(0\right),\\ f^{\left[2\right]}\left(b\right)+h_{3}f\left(b\right)=–\sqrt{2\text{Im}{h}_3}{\phi }_{–}^{\left(2\right)}\left(0\right),\\ \left(–i+\overline{h_2}\right)f^{\left[1\right]}\left(a\right)+\left(1–i\overline{h_2}\right)f^{\left[1\right]}\left(b\right)=\frac{\left(\left|h_2\right|–1\right)\left(1–i\overline{h_2}\right)}{\sqrt{\text{Im}{h}_2}|1+i{h}_2|}{\phi }_{+}^{\left(1\right)}\left(0\right),\\ f^{\left[2\right]}\left(b\right)+\overline{h_3}f\left(b\right)=–\sqrt{2\text{Im}{h}_3}{\phi }_{+}^{\left(2\right)}\left(0\right),\end{array}\end{array}$

where

${\phi }_{\pm }:\text{}=\left[\begin{array}{ }{\phi }_{\pm }^{\left(1\right)}\\ {\phi }_{\pm }^{\left(2\right)}\end{array}\right]\in W_2^1({ℝ}_{\pm };{ℂ}^2).$

Proof: Let y ∈$D\left({L}\right)$ with $y^{\left[1\right]}\left(a\right)={\left(2{\text{Im}}{h}_2\right)}^{–1/2}|1+i{h}_2|{\phi }_{+}^{\left(1\right)}\left(0\right),$$y\left(b\right)={\left({\text{Im}}{h}_3\right)}^{–1/2}{\phi }_{+}^{\left(2\right)}\left(0\right)$ and $z\in D\left({{L}}^{*}\right)$ with $z^{\left[1\right]}\left(a\right)={\left(2{\text{Im}}{h}_2\right)}^{–1/2}|1+i{h}_2|{\phi }_{–}^{\left(1\right)}\left(0\right),$$z\left(b\right)={\left({\text{Im}}{h}_3\right)}^{–1/2}{\phi }_{–}^{\left(2\right)}\left(0\right).$ Then $f–i{2}^{–1/2}\left[{\text{Ψ}}_{*}{\phi }_{–}\left(0\right)\right]\in D\left({L}\right)$ if and only if

$\begin{array}{ l}{f}^{\left[2\right]}\left(b\right)–\frac{i}{\sqrt{2}}{z}^{\left[2\right]}\left(b\right)=–h_3\left(f\left(b\right)–\frac{i}{\sqrt{2}}z\left(b\right)\right)& \left(\mathrm{5.\; 1}\right)\end{array}$

and

$\begin{array}{ l}\left(i+h_2\right)\left(f^{\left[1\right]}\left(a\right)–\frac{i}{\sqrt{2}}{z}^{\left[1\right]}\left(a\right)\right)=–\left(1+i{h}_2\right)\left(f^{\left[1\right]}\left(b\right)–\frac{i}{\sqrt{2}}{z}^{\left[1\right]}\left(b\right)\right).& \left(\mathrm{5.\; 2}\right)\end{array}$

(5. 1) gives

$\begin{array}{ }{f}^{\left[2\right]}\left(b\right)+h_{3}f\left(b\right)=–2\sqrt{\text{Im}{h}_3}{\phi }_{–}^{\left(2\right)}\left(0\right)\end{array}$

and (5. 2) implies

$\begin{array}{ }\left(i+h_2\right)f^{\left[1\right]}\left(a\right)+\left(1+i{h}_2\right)f^{\left[1\right]}\left(b\right)=\frac{\left(1–\left|h_2\right|\right)\left(1+i{h}_2\right)}{\sqrt{\text{Im}{h}_2}|1+i{h}_2|}{\phi }_{–}^{\left(1\right)}\left(0\right).\end{array}$

Similarly $f+i{2}^{–1/2}\left[\text{Ψ}{\phi }_{+}\left(0\right)\right]\in D\left({{L}}^{*}\right)$ if and only if

$\begin{array}{ l}{f}^{\left[2\right]}\left(b\right)+\frac{i}{\sqrt{2}}{z}^{\left[2\right]}\left(b\right)=–\overline{h_3}\left(f\left(b\right)+\frac{i}{\sqrt{2}}z\left(b\right)\right)& \left(\mathrm{5.\; 3}\right)\end{array}$

and

$\begin{array}{ }\left(–i–\overline{h_2}\right)\left(f^{\left[1\right]}\left(a\right)+\frac{i}{\sqrt{2}}{z}^{\left[1\right]}\left(a\right)\right)\\ =–\left(1–i\overline{h_2}\right)\left(f^{\left[1\right]}\left(b\right)+\frac{i}{\sqrt{2}}{z}^{\left[1\right]}\left(b\right)\right).& \left(\mathrm{5.\; 4}\right)\end{array}$

(5. 3) shows that

$\begin{array}{ }{f}^{\left[2\right]}\left(b\right)+\overline{h_3}f\left(b\right)=–2\sqrt{\text{Im}{h}_3}{\phi }_{+}^{\left(2\right)}\left(0\right)\end{array}$

and (5. 4) shows

$\begin{array}{ }\left(–i+\overline{h_2}\right)f^{\left[1\right]}\left(a\right)+\left(1–i\overline{h_2}\right)f^{\left[1\right]}\left(b\right)=\frac{–\left(1–\left|h_2\right|\right)\left(1+i{h}_2\right)}{\sqrt{\text{Im}{h}_2}|1+i{h}_2|}{\phi }_{+}^{\left(1\right)}\left(0\right).\end{array}$

Therefore the proof is completed.□

5. 2. Eigenfunctions of the Dilation

As is pointed out in Solomyak [ 5 ] the generalized eigenfunctions of the dilation ${L}$ may be introduced by incoming eigenfunctions

$\begin{array}{ }\left[\begin{array}{c}{\Theta }_{{L}}\left(\lambda \right)exp\left(–i\lambda r\right)c\\ \frac{i}{\sqrt{2}}\left({\left({{L}}^{*}–\overline{\lambda }I\right)}^{–1}\left({L}–\overline{\lambda }I\right)–I\right)P^{–1}\text{Ψ}c\\ exp\left(–i\lambda s\right)c\end{array}\right]\end{array}$

and outgoing eigenfunctions

$\begin{array}{ }\left[\begin{array}{c}exp\left(–i\lambda r\right)\tilde{c}\\ –\frac{i}{\sqrt{2}}\left({\left({L}–\lambda I\right)}^{–1}\left({{L}}^{*}–\lambda I\right)–I\right)P_{*}^{–1}{\text{Ψ}}_{*}\tilde{c}\\ {\Theta }_{{L}}^{*}\left(\lambda \right)exp\left(–i\lambda s\right)\tilde{c}\end{array}\right],\end{array}$

where r ∈ ℝ ₋, s ∈ ℝ ₊, c ∈ E ,$\tilde{c}\in E_{*}$ and λ ∈ ℝ.

Therefore we may introduce the following.

Theorem 5. 2. 1. The incoming and outgoing eigenfunction of ${L}$ can be introduced by

$\begin{array}{ }\left[\begin{array}{c}{\Theta }_{{L}}\left(\lambda \right)exp\left(–i\lambda r\right)c\\ \left[\begin{array}{cc}\frac{–\sqrt{2\text{Im}{h}_3}}{{\phi }^{\left[2\right]}\left(b,\overline{\lambda }\right)+\overline{h_3}\phi \left(b,\overline{\lambda }\right)}& 0\\ 0& \left(\frac{1+i{h}_2}{i+h_2}\frac{{\phi }^{\left[1\right]}\left(b,\overline{\lambda }\right)}{{\phi }^{\left[1\right]}\left(a,\overline{\lambda }\right)}–1–\frac{1}{{\phi }^{\left[1\right]}\left(a,\overline{\lambda }\right)}\right)\frac{|1+i{h}_2|}{\sqrt{2\text{Im}{h}_2}}\end{array}\right]\\ exp\left(–i\lambda s\right)\tilde{c}\end{array}\right],\\ \left[\begin{array}{c}exp\left(–i\lambda r\right)c\\ \left[\begin{array}{cc}\frac{–\sqrt{2\text{Im}{h}_3}}{{\phi }^{\left[2\right]}\left(b,\overline{\lambda }\right)+\overline{h_3}\phi \left(b,\overline{\lambda }\right)}& 0\\ 0& \left(\frac{1+i{h}_2}{i+h_2}\frac{{\phi }^{\left[1\right]}\left(b,\overline{\lambda }\right)}{{\phi }^{\left[1\right]}\left(a,\overline{\lambda }\right)}–1–\frac{1}{{\phi }^{\left[1\right]}\left(a,\overline{\lambda }\right)}\right)\end{array}\right]\\ {\Theta }_{{L}}^{*}\left(\lambda \right)exp\left(–i\lambda s\right)\tilde{c}\end{array}\right]\end{array}$

or

$\begin{array}{ }\left[\begin{array}{c}{\Theta }_{{L}}\left(\lambda \right)exp\left(–i\lambda r\right)c\\ \left[\begin{array}{cc}\frac{\sqrt{2\text{Im}{h}_3}}{{\phi }^{\left[2\right]}\left(b,\lambda \right)+h_3\phi \left(b,\lambda \right)}& 0\\ 0& –\left(\frac{1–i\overline{h_2}}{–i+\overline{h_2}}\frac{{\phi }^{\left[1\right]}\left(b,\lambda \right)}{{\phi }^{\left[1\right]}\left(a,\lambda \right)}–1–\frac{1}{{\phi }^{\left[1\right]}\left(a,\lambda \right)}\right)\end{array}\right]\\ exp\left(–i\lambda s\right)\tilde{c}\end{array}\right],\\ \left[\begin{array}{c}exp\left(–i\lambda r\right)c\\ \left[\begin{array}{cc}\frac{\sqrt{2\text{Im}{h}_3}}{{\phi }^{\left[2\right]}\left(b,\lambda \right)+h_3\phi \left(b,\lambda \right)}\frac{|1+i{h}_2|}{\sqrt{2\text{Im}{h}_2}}& 0\\ 0& –\left(\frac{1–i\overline{h_2}}{–i+\overline{h_2}}\frac{{\phi }^{\left[1\right]}\left(b,\lambda \right)}{{\phi }^{\left[1\right]}\left(a,\lambda \right)}–1–\frac{1}{{\phi }^{\left[1\right]}\left(a,\lambda \right)}\right)\end{array}\right]\\ {\Theta }_{{L}}^{*}\left(\lambda \right)exp\left(–i\lambda s\right)\tilde{c}\end{array}\right],\end{array}$

where r ∈ ℝ ₋, s ∈ ℝ ₊, λ ∈ ℝ.

Proof: Consider the equation

$\begin{array}{ l}\left({\left({{L}}^{*}–\overline{\lambda }I\right)}^{–1}\left({L}–\overline{\lambda }I\right)–I\right)P^{–1}\text{Ψ}c=B\left(\overline{\lambda }\right)\phi \left(x,\overline{\lambda }\right)c,& \left(\mathrm{5.\; 5}\right)\end{array}$

where $z–y=B\left(\overline{\lambda }\right)\phi \left(x,\overline{\lambda }\right),$$z\in D\left({{L}}^{*}\right)$ and $y\in D\left({L}\right).$

One gets

$\begin{array}{ }\left(z–y\right)\left(b\right)=\frac{2i\text{Im}{h}_3\phi \left(b,\overline{\lambda }\right)}{{\phi }^{\left[2\right]}\left(b,\overline{\lambda }\right)+\overline{h_3}\phi \left(b,\overline{\lambda }\right)}y\left(b\right)\end{array}$

or

$\begin{array}{ }B\left(\overline{\lambda }\right)\phi \left(b,\overline{\lambda }\right)=\frac{i2\sqrt{\text{Im}{h}_3}}{{\phi }^{\left[2\right]}\left(b,\overline{\lambda }\right)+\overline{h_3}\phi \left(b,\overline{\lambda }\right)}\phi \left(b,\overline{\lambda }\right)c_1\end{array}$

and

$\begin{array}{ }{\left(z–y\right)}^{\left[1\right]}\left(a\right)=\left(\frac{1+i{h}_2}{i+h_2}{\phi }^{\left[1\right]}\left(b,\overline{\lambda }\right)–{\phi }^{\left[1\right]}\left(a,\overline{\lambda }\right)–1\right)y^{\left[1\right]}\left(a\right)\end{array}$

or

$\begin{array}{ }B\left(\overline{\lambda }\right){\phi }^{\left[1\right]}\left(a,\overline{\lambda }\right)=\left(\frac{1+i{h}_2}{i+h_2}{\phi }^{\left[1\right]}\left(b,\overline{\lambda }\right)–{\phi }^{\left[1\right]}\left(a,\overline{\lambda }\right)–1\right)\frac{|1+i{h}_2|}{\sqrt{2\text{Im}{h}_2}}{c}_2.\end{array}$

Therefore the left-hand side of (5. 5) can be introduced as

$\begin{array}{ }B\left(\overline{\lambda }\right)\left[\begin{array}{cc}\frac{i2\sqrt{\text{Im}{h}_3}}{{\phi }^{\left[2\right]}\left(b,\overline{\lambda }\right)+\overline{h_3}\phi \left(b,\overline{\lambda }\right)}& 0\\ 0& \left(\frac{1+i{h}_2}{i+h_2}{\phi }^{\left[1\right]}\left(b,\overline{\lambda }\right)–{\phi }^{\left[1\right]}\left(a,\overline{\lambda }\right)–1\right)\frac{|1+i{h}_2|}{\sqrt{2\text{Im}{h}_2}}\end{array}\right]\left[\begin{array}{c}{c}_1\\ c_2\end{array}\right].\end{array}$

Now consider the equation

$\begin{array}{ }\left({\left({L}–\lambda I\right)}^{–1}\left({{L}}^{*}–\lambda I\right)–I\right)P_{*}^{–1}{\text{Ψ}}_{*}c=B\left(\lambda \right)\phi \left(x,\lambda \right),\end{array}$

where y − z = B (λ)φ( x , λ),$y\in D\left({L}\right)$ and $z\in D\left({{L}}^{*}\right).$ A similar argument completes the proof.□

6. Conclusion and Remarks

This paper provides a new method to analyze the spectral properties of some third-order dissipative boundary value problems and it seems that such a method has not been introduced previously for third-order case. This method is very effective and can be applied for other odd-order dissipative operators generated by suitable odd-order differential equation and boundary conditions.

Finally we should note that the differential expression ℓ can also be handled as the following

$\begin{array}{ }\ell \left(y\right)=\frac{1}{w}\left\{–i\left[{\left(r{y}^{\prime }\right)}^{\prime \prime }+{\left(r{y}^{\prime \prime }\right)}^{\prime }\right]–{\left(p_0{y}^{\prime }\right)}^{\prime }+i\left[q_1{y}^{\prime }+{\left(q_{1}y\right)}^{\prime }\right]+p_{1}y\right\},\end{array}$

where r is a suitable function. Then with some modifications a similar boundary value problem as (2. 2), (2. 4) can be analyzed.

Data Availability

All datasets generated for this study are included in the manuscript and the supplementary files.

Author Contributions

All authors listed have made a substantial, direct and intellectual contribution to the work, and approved it for publication.

Conflict of Interest Statement

The authors declare that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.

References

1. Szokefalvi-Nagy B, Foiaş C. Harmonic Analysis of Operators on Hilbert Space . Budapest: Academia Kioda (1970).

2. Sarason D. On spectral sets having connected complement. Acta Sci Math.(1965)26: 289–99.

3. Lax PD, Phillips RS. Scattering Theory . New York, NY: Academic Press (1967).

Google Scholar

4. Nikolskii NK, Vasyunin VI. A Unified approach to function models, and the transcription problem. In: Dym H, Goldberg S, Kaashoek MA, Lancaster P editors. The Gohberg Anniversary Collection. Operator Theory: Advances and Applications , Vol 41. Basel: Birkhäuser (1989). p. 405–34.

Google Scholar

5. Solomyak BM. Functional model for dissipative operators. A coordinate-free approach, Journal of Soviet Mathematics 61 (1992), 1981–2002; Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR.(1989)178: 57–91.

6. Coddington EA, Levinson N. Theory of Ordinary Differential Equations . New York, NY: McGrow-Hill Book Comp (1955).

Google Scholar

7. Dunford N, Schwartz JT. Linear Operators Part II: Spectral Theory . New York, NY: Interscience Publ. (1963).

Google Scholar

8. Naimark MA. Linear Differential Operators Part I: Elementary Theory of Linear Differential Operators . London: George G. Harrap and Comp. (1966).

9. Everitt WN. Self-adjoint boundary value problems on finite intervals. J Lond Math Soc.(1962)37: 372–84.

Google Scholar

10. Uğurlu E, Taş K. Dissipative operator and its Cayley transform. Turk J Math.(2017)41: 1404–32. doi: 10. 3906/mat-1610-83

CrossRef Full Text | Google Scholar

11. Uğurlu E, Baleanu D. On a completely non-unitary contraction and associated dissipative difference operator. J Nonlinear Sci Appl.(2017)10: 5999–6019. doi: 10. 22436/jnsa. 010. 11. 36

CrossRef Full Text

12. Uğurlu E. Extensions of a minimal third-order formally symmetric operator. Bull Malays Math Sci Soc . (2018). doi: 10. 1007/s40840-018-0696-8

CrossRef Full Text | Google Scholar

13. Uğurlu E. Regular third-order boundary value problems. Appl Math Comput.(2019)343: 247–57. doi: 10. 1016/j. amc. 2018. 09. 046

CrossRef Full Text | Google Scholar

14. Naimark MA. Linear Differential Operators . 2nd ed. Moscow: Nauka, 1969; English transl. of 1st edn.: Parts 1, 2, New York, NY: Ungar, 1967 (1968).

15. Hinton DB. Deficiency indices of odd-order differential operators. Rocky Moun J Math.(1978)8: 627–40.

Google Scholar

16. Gorbachuk VI, Gorbachuk ML. Boundary Value Problems for Ordinary Differential Equations . Dordrecht: Kluwer Acad. Publ. (1991).

Google Scholar

17. Nikolskiĭ N. Operators, Functions, and Systems: An Easy Reading, Vol. 2. Model Operators and Systems . Mathematical Surveys and Monographs 92. Providence, RI: American Mathematical Society (2002).

18. Szokefalvi-Nagy B, Foiaş C, Bercovici H, Kérchy L. Harmonic Analysis of Operators on Hilbert Space, Revised and Enlarged Edition . New York, NY: Springer (2010).

19. Bognar J. Indefinite Inner Product Spaces. Berlin: Springer (1974).

Google Scholar