Timeline for Is $H_0^1$ a redundant assumption in the 2D Agmon inequality?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 27, 2018 at 20:52 | vote | accept | CommunityBot | moved from User.Id=14319 by developer User.Id=322028 | |
| Nov 27, 2018 at 19:46 | answer | added | Hannes | timeline score: 1 | |
| Nov 27, 2018 at 17:08 | comment | added | user14319 | @Hannes: Thanks for your comment! Indeed in Agmon's notes, he assumes that the domain has "nice" boundary. I overlooked this. I would accept your comment as an answer. | |
| Nov 27, 2018 at 16:15 | comment | added | Hannes | There is probably a regularity assumption on $\Omega$ in the lecture notes, right? Zero traces are very convenient because then $\Omega$ may be very irregular and one may rely on results for the full space $\mathbb{R}^n$ by considering the zero extension in the proofs. If one wants the result thus obtained also for non-zero trace functions, one usually needs some boundary regularity for $\partial\Omega$ to have suitable extensions to the full space at hand, but then the proofs work very similarly. I would expect something like that here. | |
| Nov 27, 2018 at 15:55 | history | asked | user14319 | CC BY-SA 4.0 |