1
$\begingroup$

Assume that $H$ is a separable Hilbert space. Is there a polynomial $p(z)\in \mathbb{C}[x]$ with $deg(p)>1$ with the following property?:

Every densely defined operator $A:D(A)\to D(A),\;D(A)\subset H$ with $p(A)=0$ is necessarily a bounded operator on $H$.

That is the polynomial-operator equation $p(A)=0$ has only bounded solution.

$\endgroup$

2 Answers 2

2
$\begingroup$

I do not think so.

Observation: Without loss of generality, $p(x)$ can be taken to be monic (constant multiples won't affect either $p(A) = 0$ or boundedness).

Case 1: $p$ is degree $2$.

By the above reduction, $p(x) = (x - \lambda)(x - \mu)$ for some $\lambda$ and $\mu$ in $\mathbb{C}$ (since $A$ clearly commutes with itself and with $I$, and since $A$ maps $D(A)$ to itself, this decomposition is reasonable). Yet if $p(A) = 0$, take the operator $\displaystyle B = A - \frac{\lambda + \mu}{2} I$ (with the same domain), and we see that for $\displaystyle \nu = \frac{\lambda - \mu}{2}$, $B$ satisfies $(B + \nu)(B - \nu) = 0$, or $B^2 - \nu^2 = 0$. We will show that an unbounded choice of $B$ exists, satisfying $B: D(B) \to D(B)$, hence an unbounded choice of $A$ exists, with $A: D(A) \to D(A)$.

Subcase 1: $\nu = 0$. Then take $H = \ell^2(\mathbb{N})$, let $H_0 = D(B)$ be the sequences with only finitely many nonzero elements, and let $B$ be the operator represented by the infinite matrix

$$ \begin{pmatrix} 0 & 1 & & & & & \cdots \\ 0 & 0 & & & & & \cdots \\ & & 0 & 2 & & & \cdots \\ & & 0 & 0 & & & \cdots \\ & & & & 0 & 3 & \cdots \\ & & & & 0 & 0 & \ddots \\ \vdots & \vdots & \vdots & \vdots & \vdots & \ddots & \ddots \end{pmatrix},$$ which is clearly well-defined on $H_0$ and clearly maps $H_0$ to itself. Then $B^2 = 0$, but letting $e_j$ be the $j$th basis vector, $B e_{2j} = j e_{2j - 1}$, so clearly $B$ is unbounded.

Subcase 2: $\nu \neq 0$. Then again take $H = \ell^2(\mathbb{N})$, and $H_0$ the almost-everywhere-$0$ sequences. We now define $B$ by the matrix

$$ \begin{pmatrix} 0 & \nu & & & & & \cdots \\ -\nu & 0 & & & & & \cdots \\ & & 0 & 2\nu & & & \cdots \\ & & -\frac{1}{2}\nu & 0 & & & \cdots \\ & & & & 0 & 3\nu & \cdots \\ & & & & -\frac{1}{3}\nu & 0 & \ddots \\ \vdots & \vdots & \vdots & \vdots & \vdots & \ddots & \ddots \end{pmatrix}.$$

Again, $B$ maps $H_0$ to itself, and $B^2 e_j = \nu^2 e_j$ for all $j$, so $B^2 = \nu^2$ on $H_0$. Yet $Be_{2j} = j e_{2j - 1}$, so $B$ is unbounded.

Case 2: $\deg p > 2$.

Well, then $p(x) = q_1(x) q_2(x)$, with $\deg q_1 = 2$, $\deg q_2 \geq 1$. Again take $H$ and $H_0$ as above, and take $A$ to be an unbounded solution to $q_1(A) = 0$, satisfying $A: D(A) \to D(A)$. Then $p(A) = q_1(A) q_2(A) = 0 q_2(A) = 0$, and $A$ is unbounded. [Again, my naive factoring really depends on $D(A) \subseteq D(A^n)$, hence I am strongly using the $A: D(A) \to D(A)$ fact here.] QED.

Of course, Case 2 is sort of a cheat. I think there should be a "natural" example in general, since you can construct unbounded examples to $A^n = 0$ by just increasing the order of the nilpotency, and $A^n = I$ by taking positive real numbers $a_1, \dotsc, a_n$ with $a_1 a_2 \dotsc a_n = 1$ and letting the building-block matrix be

$$ \begin{pmatrix} 0 & a_1 & & & \cdots & & \\ & 0 & a_2 & & \cdots & & \\ & & 0 & a_3 & \cdots & & \\ \vdots & \vdots & \vdots & \ddots & \ddots & &\\ \vdots & \vdots & \vdots & \vdots & \ddots & \ddots & \\ & & & & & 0 & a_{n-1} \\ a_n & 0 & 0 & & \dotsc & 0 & 0 \end{pmatrix} $$ Then again make a block-diagonal infinite matrix such that as we repeat the blocks, $a_3, \dotsc, a_n$ are constant, and $a_1 \to \infty$ and $a_2 \to 0$ (or somesuch).

$\endgroup$
5
$\begingroup$

You mean an infinite-dimensional separable Hilbert space. The answer is no.

Suppose $p(z)$ has distinct roots $\alpha_1, \alpha_2$. Define a sequence $x_1, x_2, \ldots$ in the unit sphere of $H$ such that

  1. $x_1,\ldots, x_n$ are linearly independent for all $n$.
  2. $\|x_i - x_{i+1}\| \to 0$ as $i \to \infty$.
  3. the sequence is dense in the unit sphere of $H$.

Define $A$ on the linear span of the sequence so that $A x_i = \alpha_1 x_i$ if $i$ is odd, $\alpha_2 x_i$ otherwise.

On the other hand, if $p$ has only one root, say $p(z) = (z - \alpha)^d$, then with the same sequence as above take $A x_i = \alpha x_i + x_{i+1}$ for $i$ not divisible by $d$, $\alpha x_i$ otherwise.

$\endgroup$
1

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .