Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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!

share|improve this question
1  
Doesn't the pseudo-inverse of the Neumann-Laplacian just gives the "zero-mean solution"? –  Dirk Sep 17 '13 at 11:21
    
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. –  Elias Ka Sep 17 '13 at 11:23

1 Answer 1

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}

share|improve this answer
    
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$. –  Elias Ka Sep 17 '13 at 12:36
    
Then $A^\dagger$ is continuous iff the range of $A$ is closed –  Guido Kanschat Sep 17 '13 at 12:43

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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