Intereting Posts

Words built from $\{0,1,2\}$ with restrictions which are not so easy to accomodate.
Integral $\int_0^1\sqrt{1-x^4}dx$
Toss a fair die until the cumulative sum is a perfect square-Expected Value
Is $\sqrt{5}$ in $\mathbb Q(\sqrt{2})$?
Does $A$ a UFD imply that $A$ is also a UFD?
If $f,g$ are both analytic and $f(z) = g(z)$ for uncountably many $z$, is it true that $f = g$?
How to prove that $\lim_{n \to \infty} n x^{n} = 0 $ when $0<x<1$?
Prove that a nonzero integer p is prime if and only if the ideal (p) is maximal in Z.
Direct summand of skew-symmetric and symmetric matrices
How to prove closure of $\mathbb{Q}$ is $\mathbb{R}$
Finding Jordan Canonical form for 3×3 matrix
How to deal with the integral of $e^x e^{x^2}$?
Countable choice and term extraction
Is it true that any metric on a finite set is the discrete metric?
Evaluating a triple integral

The following is an excerpt from Evans’s Partial Differential Equations

Here $L$ is the elliptic operator. The part about $\langle f,v\rangle$ is stated in this question.

- Why is the Daniell integral not so popular?
- Transpose of Volterra operator
- Operator whose spectrum is given compact set
- Functional Analysis - Banach-Steinhaus theorem
- Is $L^2(0,\infty;L^2(\Omega)) = L^2((0,\infty)\times \Omega)$?
- problem books in functional analysis

Would anybody clarify what kind of “isomorphism” it should be in the last sentence? Of course it is a vector space isomorphism which means $L_\mu$ is a bijective linear maps.

My question concerns:

- Is it a homeomorphism?
- Is it an isometry?

[Added:] Here is Theorem 3 and its proof right before the quoted remark above.

- How to show that the Volterra operator is not normal
- characterization of the dual space of the Sobolev space $H_0^1$
- Question from Evans' PDE book
- Fredholm Alternative as seen in PDEs, part 1
- Sum of Closed Operators Closable?
- From $e^n$ to $e^x$
- Step in derivation of Euler-Lagrange equations of motion
- The compactness of the unit sphere in finite dimensional normed vector space
- If $T:X \to Y$ is a linear homeomorphism, is its adjoint $T^*$ a linear homeomorphism?
- Energy functional in Poisson's equation: what physical interpretation?

It’s an isomorphism since $L_\mu$ and $L_\mu^{-1}$ are both bounded linear operators. This was established in the proof of Theorem 3 on the page before the remark in question.

As to whether it is an isometry, this is a bit more delicate. Recall the weak form of $Lu + \mu u = f$ is

$$B_\mu[u,v] = \langle f,v\rangle$$

where $B_\mu[u,v] = B[u,v] + \mu(u,v)$, and $B[u,v]$ is the bilinear form associated with $L$ (so $(Lu,v) = B[u,v]$ for smooth $u,v$). Recall that $\mu$ was chosen so that

$$\beta \|u\|_{H^1_0(U)}^2 \leq B_\mu[u,u] \ \text{ and } \ B_\mu[u,v] \leq C\|u\|_{H^1_0(U)} \|v\|_{H^1_0(U)}.$$

Suppose we have no first order terms in the PDE, so $b^i= 0$. Then $B_\mu$ is symmetric: $B_\mu[u,v] = B_\mu[v,u]$. This means that the inner product $u\times v \mapsto B_\mu[u,v]$ is an equivalent inner product on $H^1_0(U)$, which induces the norm $B_\mu[u,u]^\frac{1}{2}$. If we endow $H^1_0(U)$ with this inner product, and there are no first order terms in the PDE, then $L_\mu$ is an isometry because

$$\|f\|_{H^{-1}(U)} = \sup_{B_\mu[v,v]=1} \langle f,v\rangle = \sup_{B_\mu[v,v]=1} B_\mu[u,v] = B_\mu[u,u]^\frac{1}{2}.$$

Notice that we are using a new norm on $H^{-1}(U)$ induced by the new norm on $H^1_0(U)$.

So when there are no first order terms, you can choose equivalent norms on $H^1_0(U)$ and $H^{-1}(U)$ so that $L_\mu$ is an isometry. Maybe this feels like cheating to you. If you prefer to stick with the usual norms, then $L$ is an isometry when

$L = -\Delta u + u.$

In this case the bilinear form associated with $L$ is $B[u,v] = \int \nabla u \cdot \nabla v + uv \, dx$ and

$$B[u,u] = \|u\|_{H^1_0(U)}^2.$$

When there are first order terms in the PDE, e.g., $L = -\Delta + \partial_{x_i}$, it will not be an isometry. It should not be too hard to work out a counterexample in a special case (say 1D with $U=(-1,1)$).

- Find $\lim\limits_{(x,y) \to(0,0)} \frac{xy^2}{ x^2 + y^4} $
- Conic by three points and two tangent lines
- Is a metric space perfectly normal?
- Evaluate the integral: $\int_{0}^{1} \frac{\ln(x+1)}{x^2+1} \mathrm dx$
- Jacobson radical of $R$, where $R$ is domain
- Useless math that become useful
- Using differentiation under integral sign to calculate a definite integral
- Possible values of prime gaps
- Which sequences converge in a cofinite topology and what is their limit?
- How to prove this is a rational number
- A few counterexamples in the convergence of functions
- When functions commute under composition
- Why is the ring of matrices over a field simple?
- Predicting digits in $\pi$
- If $A, B, C$ are sets prove that $(A\setminus B)\setminus C\subseteq A\setminus(B\setminus C)$