09.01.2015 Views

T. Diagana INTEGER POWERS OF SOME UNBOUNDED LINEAR ...

T. Diagana INTEGER POWERS OF SOME UNBOUNDED LINEAR ...

T. Diagana INTEGER POWERS OF SOME UNBOUNDED LINEAR ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

206 T. <strong>Diagana</strong><br />

To complete the proof one needs to compute ρ(A). For that, we have to solve<br />

the equation<br />

(6)<br />

where x = ∑ i<br />

(A − λI)x = y,<br />

x i e i ∈ D(A) = D(A − λI) and y = ∑ i<br />

y i e i ∈ E ω .<br />

Considering Eq. (6) on (e i ) i∈N and using the fact A is self-adjoint it follows<br />

that ∀i ∈ N, (λ i − λ).〈e i , x〉 = 〈e i , y〉. Equivalently, ∀i ∈ N,<br />

(7)<br />

(λ i − λ).ω i x i = ω i y i .<br />

Now if ∀i ∈ N, λ i ̸= λ, Eq. (7) has a unique solution x, moreover,<br />

(8)<br />

x = (A − λ) −1 y = ∑ i<br />

y i<br />

λ i − λ e i.<br />

Let us show that x = (A − λ) −1 y given above is well-defined. For that it is<br />

|y i |<br />

sufficient to prove that lim<br />

i |λ i − λ| ‖e i‖ = 0. According to Eq. (5), the sequence<br />

( )<br />

1<br />

|y i |<br />

is bounded, hence lim<br />

|λ i − λ| i∈N<br />

i |λ i − λ| ‖e i‖ = 0.<br />

It remains to find conditions on λ so that x defined above belongs to D(A). For<br />

that, it is sufficient to find conditions so that:<br />

Indeed, since lim<br />

i<br />

|y i | ‖e i ‖ = 0,<br />

lim<br />

i<br />

|y i |<br />

|λ i − λ| ‖Ae i‖ = lim<br />

i<br />

|λ i |<br />

|λ i − λ| |y i| ‖e i ‖ = 0.<br />

0 ≤ lim<br />

i<br />

|y i |<br />

|λ i − λ| ‖Ae i‖<br />

|λ i |<br />

≤ lim<br />

i | |λ i | − |λ| | . lim i<br />

= 0.<br />

|y i | ‖e i ‖<br />

From Eq. (8) it follows that<br />

‖(A − λ) −1 y‖ =<br />

|y i |‖e i ‖<br />

sup<br />

i∈N |λ i − λ|<br />

≤<br />

1<br />

‖y‖ . sup<br />

i∈N |λ i − λ|<br />

≤<br />

1<br />

‖y‖ .<br />

inf i∈N |λ i − λ|<br />

< ∞,

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!