## on an inequality of Brezis-Lieb

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

In their 1983 JFA-paper Brezis and Lieb have shown, among many other things, a Poincaré-type inequality: in the case of a harmonic function $f$ on a bounded domain $\Omega$, their inequality ((3.14) in the paper) states that the $L^2(\Omega)$-norm of $f$ can be estimated by the $L^2(\partial \Omega)$-norm of its trace on $\partial \Omega$ (times a constant only depending on $\Omega$). My question: Is it possible to reverse this inequality, viz estimating the $L^2(\partial \Omega)$-norm of the trace of $f$ by the $L^2(\Omega)$-norm.

This is indeed possible if $\Omega\subset R$ ($\Omega$ an interval), but this clearly follows simply from the fact that on an interval both the space of harmonic functions and the space of their boundary values are $2$-dimensional (then using equivalence of any two norms on a finite dimensional space). I have no clue whether this may extend to higher dimensions - in fact, I am pessimistic.

Thanks in advance.

-

In general, the norm of the function on the boundary can be estimated by the norm of the function in $H^1$, so this may be what you are looking for.  The answer below shows how just $L^2$ norms may fail. – Daniel Spector Jan 24 at 10:02
well, estimating the $L^2$-norm of a trace of $u$ by the $H^1$-norm of $u$ simply means that the trace operator is bounded from $H^1(\Omega)$ to $L^2(\partial \Omega)$ (which, by the way, only holds under certain smoothness assumption on $\partial \Omega$, as far as i know). My question was motivated by my hope that, perhaps, in this regard (weakly) harmonic function may perform better than mere H1-functions. – Delio Mugnolo Jan 27 at 8:48

## 1 Answer

No, choose $\Omega={z \in \mathbb{C} : |z| \leq 1 } ,\ f(z)=Re\ z^{n}$ and let $n\rightarrow \infty$ .

-

too bad. thanks a lot. – Delio Mugnolo Jan 27 at 19:10
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 24, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9230373501777649, "perplexity_flag": "head"}