## monge-ampere operator

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

hello everybody, i'm studying the article of Bedford-Taylor "Fine topology silov boundary..." but i don't understand the proof of the following proposition.

Let u,v plurisubharmonic function defined on $\Omega$ open subset of $\mathbb{C}^n$ such that $u,v\in L^{\infty}_{loc}(\Omega)$.

Let $O$ be a fine-open subset of $\Omega$ where $u>v$. Then $(dd^{c}\max(u,v))^{n}|O=(dd^{n}u)^{n}|O$.

They say that if $O$ is open then it is obvious. while if $O$ is just fine open then using a decreasing approximation sequence $u_k$ of smooth functions for $u$.

Then since $O=\bigcap_{k}(u_k>v)$ and since $(dd^{c}\max(u_k,v))^{n}|O_k=(dd^{n}u_k)^{n}|O_k$ (this dont'understand),

where $O_k=(u_k>v)$, the statement holds.

Maybe it is trivial but i'm not able to see it. thanks

-

On $O_k$, $max\{u_k,v\}=u_k$. Or is it something else that is the problem?  – Margaret Friedland Oct 26 at 1:02
This isn't a complete answer, but may help. For smooth u_k, u_k >v is an open set. For non-smooth u, this is not necessarily the case. It may have a boundary. Just outside the boundary max(u,v) = v and inside max(u,v) = u. So, whilst testing the current against test functions whose support "ends" at the boundary, it isn't obvious (to me) that dd^c(max(u,v)) = dd^c (u).  – Vamsi Oct 26 at 15:48

## 2 Answers

yes i see it, but even on $O$ $u=\max(u,v)$ so i don't understand why he passes to an approximation sequence.

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Hi digital: I can not give comments, hence give answer here for your answer. If O is not open, then u=max(u,v) on O does not neccessarily imply that dd^cu=dd^cmax (u,v) on a neighborhood of O, so that when restricting to O you get the equality. (If you want to do derivatives, you need to do it on an open set).

-
{"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": 18, "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": false, "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.9182959794998169, "perplexity_flag": "middle"}