Hille-Yoshida Theorem - help! Proving an operator generates a $C_0$ semigroup

548 Views Asked by At

So I have the following operator, which is not very nice...

\begin{equation} A w = \partial_{xx} w - a \partial_x w- b x^2 w =0, \end{equation} with the following decay conditions $w \longrightarrow 0$ as $x \longrightarrow \pm \infty$.

It is our goal to be able to write mild solutions to this problem, so we need to show that this operator generates a semigroup. The domain is the real line, so and I want to check the criteria of the Hille-Yosida theorem (density of the domain of operator $A$, $A$ is closed, $\lambda \in \rho(A)$ and$ || R(\lambda, A) || \leq \frac{1}{\lambda})$.

As we are on the real line, the domain is dense and the operator is closed (Right?). I have no idea how do the resolvent stuff! Help please! xx

1

There are 1 best solutions below

5
On BEST ANSWER

The statement "As we are on the real line, the domain is dense and the operator is closed" is not correct. The "domain" refers to the domain of the operator A, not to the spacial domain where the differential equation is posed.

Recall that from the mathematical viewpoint an operator is not just the formal expression on the right hand side of the equation. You need to define it on an appropriate functional space. A good choice is usually a Sobolev space, and should take into account the boundary conditions. But for your example, this is not trivial (and it is an important step in solving your problem). The differential operator A is usually an unbounded lineal operator in that space, and what you really need to check is that A is a closed operator there.

I recommend you that you read the book by Brezis on functional analysis where simpler examples are given, before trying this more difficult one.

The condition of the resolvent usually means that you need to get apriori bounds (again, in the functional space of choice) for the associated elliptic problem. The Hille-Yosida theorem essentially reduces solving a (linear) parabolic problem to getting those estimates. I hope that my comments be of help !