1
$\begingroup$

Let $u\in C^2(\Omega)$ be such that $\Delta u \ge 0$ on $\Omega\supset \overline{B(a,r)}$. We consider the Poisson modification $U$ of $u$ for the ball $B(a,r),$ that is $U$ equals $u$ on $\Omega-B(a,r)$ and that on $B=B(a,r)$ equals the solution to Direchlet problem with boundary data $u|_{\partial B}$, which is given by the Poisson kernel classically denoted by $P(x,y)$. It is known that $U$ is subharmonic in the sense that it verifies an inequality mean property. My question is : Do we have $U\in H^2(\Omega)?$.

$\endgroup$
4
  • 2
    $\begingroup$ I must be misunderstanding the question. Assuming $\Omega$ is intended to be an open domain, what's to prevent $u$ from blowing up fiercely near the boundary of $\Omega$? Adjusting it in a compact ball in the interior won't help, will it? $\endgroup$ Aug 13, 2012 at 3:40
  • 3
    $\begingroup$ see math.stackexchange.com/questions/181925/… $\endgroup$
    – Will Jagy
    Aug 13, 2012 at 3:42
  • $\begingroup$ Ah, wait a minute: could you please remind us of how you are defining $H^2(\Omega)$? $\endgroup$
    – Yemon Choi
    Aug 13, 2012 at 4:56
  • $\begingroup$ $H^2(\Omega)$ is the set of functions $u\in L^2(\Omega)$ such that $u', u"\in L^2(\Omega)$, where the derivation is in the sense of distribution. $\endgroup$
    – hardy
    Aug 13, 2012 at 13:17

2 Answers 2

1
$\begingroup$

Note that in your assumption $u$ itself need not be in $H^2(\Omega)$, nor even $L^2(\Omega)$, even if it is harmonic (so $u=U$). You are possibly interested on the local behaviour, that is whether $U\in H^2_{loc}$. But note that for $n=1$ any smooth, convex function is subharmonic; the function $U$ is affine on $(a-r,a+r)$, and in general not in $C^1$ (unless $u$ was already harmonic ), hence not $H^2_{loc}$. However, I think in your assumptions it is true that $U\in H^1_{loc}$.

$\endgroup$
1
  • $\begingroup$ thanks. In fact I m interested with a modification $v$ of $u$ ($u$ may be taken smooth enough) such that $v\in H^2(\Omega)$ and harmonic in $\Omega-\overline{B}(a,r)$. $\endgroup$
    – hardy
    Aug 13, 2012 at 13:53
0
$\begingroup$

Subharmonicity of this modification is true and easy to prove just from the definition of a subharmonic function. Condition $C^2$ is redundant. Of course the modification will not be in $C^2$. Now what is $H(\Omega)$ ?

$\endgroup$
1
  • $\begingroup$ Here $H^2(\Omega)$ is the Sobolev space of $u\in L^2(\Omega)$ such that its distribution derivatives $u',u"$ are in $L^2(\Omega)$. $\endgroup$
    – hardy
    Aug 13, 2012 at 13:57

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.