2
$\begingroup$

Hello all,

could someone point me to a reference that ties the smoothness of the solution $u$ to the classical elliptic problem

$\nabla \cdot ( q \nabla u ) = f \;,\; x \in \Omega$

$u = g \;,\; x \in \Gamma = \partial \Omega$

to the smoothness of $f$, $q$ and $g$?

$\Omega$ is a convex polygonal domain in $\Re^d$ with $d \in \{2,3\}$. The boundary $\Gamma$ is piecewise linear (can have corners, e.g., if $\Omega$ is the unit square).

I am particularly interested in the (minimal) smoothness requirements for the forcing and boundary data $f$ and $g$, such that $u \in {\cal H}^2(\Omega)$ (not just locally).

I went through Evans' book on PDEs but he assumes homogeneous boundaries and proves only local smoothness $u \in {\cal H}_{\rm loc}^s(\Omega)$ based on assumptions on the forcing $f$. My $g$ is generally nonzero.

Also, would the smoothness theory for the BVP above extend to a Helmholtz problem with a pure Neumann BC?

Thanks for any good pointers!

Kind regards, -- Mihai

$\endgroup$
6
  • $\begingroup$ Is $\Gamma$ the boundary of $\Omega$? If so, what kind of regularity are you assuming for $\Gamma$? $\endgroup$ – Yakov Shlapentokh-Rothman Mar 1 '11 at 0:06
  • 3
    $\begingroup$ have you looked at Gilbarg and Trudinger? $\endgroup$ – Willie Wong Mar 1 '11 at 0:11
  • $\begingroup$ @Yakov Shlapentokh-Rothman: I updated the problem definition. @Willie Wong: thanks for the pointer, I will check it out today. $\endgroup$ – Mihai Mar 1 '11 at 17:26
  • 1
    $\begingroup$ For an example of things that can go wrong since $\Gamma$ is not smooth, see mathoverflow.net/questions/38054/… $\endgroup$ – Yakov Shlapentokh-Rothman Mar 2 '11 at 0:30
  • $\begingroup$ Gilbarg and Trudinger assume smooth boundaries as far as I see. I am going through Grisvard right now to see what I can figure out from there. $\endgroup$ – Mihai Mar 2 '11 at 17:33
2
$\begingroup$

Grisvard's book is a standard reference for elliptic problems in domains with corners.

$\endgroup$
0
$\begingroup$

See http://en.wikipedia.org/wiki/Elliptic_regularity and references therein.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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