3
$\begingroup$

Suppose you have the following PDE: find $u \in H^1(\Omega)$ such that

$$-\Delta u = f, \\ \frac{\partial u}{\partial n} = 0. $$

Further assume a solvability condition

$$\int_\Omega f ~\mathrm{d}\mathbf{x} = 0.$$

It is known, that this problem is solvable up to a constant. So speaking in terms of operators this means that the operator $A\colon H^1(\Omega) \to \widetilde{H}^{-1}(\Omega)$ defined by $$(A u, v) := \int_\Omega \nabla u \nabla v ~ \mathrm{d}\mathbf{x}$$ is not invertible. However one can always build up the moore-penrose pseudoinverse $A^\dagger$. So the minimum-norm-solution is given by $$u = A^\dagger f$$.

My question is, whether $A^\dagger$ is also bounded and maybe coercive (or semi-elliptic) ?

Thanks!

Improve this question
$\endgroup$
2
  • 1
    $\begingroup$ Doesn't the pseudo-inverse of the Neumann-Laplacian just gives the "zero-mean solution"? $\endgroup$
    – Dirk
    Sep 17, 2013 at 11:21
  • $\begingroup$ Yes I think so. I'm just curious about the properties of the pseudo-inverse. Since for an bounded linear elliptic(coercive) operator there holds that the inverse operator is elliptic(coercive) as well. So my question is if one can make statements about the pseudoinverse as well. $\endgroup$
    – Elias Ka
    Sep 17, 2013 at 11:23

1 Answer 1

Reset to default
2
$\begingroup$

The operator $A$ is a continuous operator from $H^1(\Omega)$ to the mean value free subspace of its dual. This subspace is closed, such that the closed range theorem applies: there is a continuous operator $B$ from this subspace to $H^1(\Omega)$, such that $AB f = f$ for all $f$ in this subspace.

Note that $B$ is not uniquely defined. In order to select $A^\dagger$ from the possible choices for $B$, you can for instance require that for any $f$ holds \begin{gather} \int_\Omega Af\,dx = 0. \end{gather}

Improve this answer
$\endgroup$
2
  • $\begingroup$ Definition of Pseudo-Inverse: Let $$A\colon X\to Y $$ be a bounded linear operator between two hilbert-spaces. Further define $$\widetilde{A}\colon \mathrm{ker}(A)^\perp \to \mathrm{ran}(A)$$. Then we define $$A^\dagger\colon \mathrm{ran}(A)\otimes \mathrm{ran}(A)^\perp \subset Y \to X \\ y \mapsto \widetilde{A}^{-1} P_{\mathrm{ran}(A)} y$$ Here $P_{\mathrm{ran}(A)}$ is the projector onto (the closure of) the range of $A$. $\endgroup$
    – Elias Ka
    Sep 17, 2013 at 12:36
  • $\begingroup$ Then $A^\dagger$ is continuous iff the range of $A$ is closed $\endgroup$
    – Guido Kanschat
    Sep 17, 2013 at 12:43

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.