Showing 1–13 of 13 results for author: Kadiri, M E

A note on equality on plurifinely open sets of some complex Monge-Ampère measures

Authors: Mohamed El Kadiri

Abstract: Our aim in this paper is to prove that if plurisubharmonic functions $u_1,. . . , u_n$, $v_1,. . ., v_n$ in the domain of definition of the complex Monge-Ampère operator on a domain set $D\subset \mathbb{C}^n$ ($n\geq 1$) are such that $u_1= v_1, . . ., u_n=v_n$ on a Borel plurifinely open set $Ω\subset D$, then $$dd^cu_1\wedge ...\wedge dd^cu_n=dd^cv_1\wedge ...\wedge dd^cv_n$$ on $Ω$. This exten… ▽ More Our aim in this paper is to prove that if plurisubharmonic functions $u_1,. . . , u_n$, $v_1,. . ., v_n$ in the domain of definition of the complex Monge-Ampère operator on a domain set $D\subset \mathbb{C}^n$ ($n\geq 1$) are such that $u_1= v_1, . . ., u_n=v_n$ on a Borel plurifinely open set $Ω\subset D$, then $$dd^cu_1\wedge ...\wedge dd^cu_n=dd^cv_1\wedge ...\wedge dd^cv_n$$ on $Ω$. This extends an earlier result obtained by the author in \cite{EK}. △ Less

Submitted 16 October, 2023; originally announced October 2023.

A note on the structure of plurifinely open sets and the equality of some complex Monge-Ampère measures

Authors: Mohamed El Kadiri

Abstract: In a recent preprint published on arXiv (see arXiv:2308.02993v2, referred here as \cite{NXH}), N.X. Hong stated that every plurifinely open set $U\subset \mathbb{C}^n$, $n\geq 1$, is of the form $U=\bigcup \{\varphi_j>-1\}$, where each $φ_j$ is a negative plurisubharmonic function defined on an open ball $B_j\subset \mathbb{C}^n$ and used this result to prove an equality result on complex Monge-Am… ▽ More In a recent preprint published on arXiv (see arXiv:2308.02993v2, referred here as \cite{NXH}), N.X. Hong stated that every plurifinely open set $U\subset \mathbb{C}^n$, $n\geq 1$, is of the form $U=\bigcup \{\varphi_j>-1\}$, where each $φ_j$ is a negative plurisubharmonic function defined on an open ball $B_j\subset \mathbb{C}^n$ and used this result to prove an equality result on complex Monge-Ampère measures. Unfortunately, this result is wrong as we will see below. △ Less

Submitted 17 September, 2023; v1 submitted 6 September, 2023; originally announced September 2023.

Comments: New version with small change in the abstract

MSC Class: 31D05; 31C35; 31C40

Remarks on weak convergence of complex Monge-Ampère measures

Authors: Mohamed El Kadiri

Abstract: Let $(u_j)$ be a deaceasing sequence of psh functions in the domain of definition $\cal D$ of the Monge-Ampère operator on a domain $Ω$ of $\mathbb{C}^n$ such that $u=\inf_j u_j$ is plurisubharmonic on $Ω$. In this paper we are interested in the problem of finding conditions insuring that \begin{equation*} \lim_{j\to +\infty} \int\varphi (dd^cu_j)^n=\int\varphi {\rm NP}(dd^cu)^n \end{equation*} fo… ▽ More Let $(u_j)$ be a deaceasing sequence of psh functions in the domain of definition $\cal D$ of the Monge-Ampère operator on a domain $Ω$ of $\mathbb{C}^n$ such that $u=\inf_j u_j$ is plurisubharmonic on $Ω$. In this paper we are interested in the problem of finding conditions insuring that \begin{equation*} \lim_{j\to +\infty} \int\varphi (dd^cu_j)^n=\int\varphi {\rm NP}(dd^cu)^n \end{equation*} for any continuous function on $Ω$ with compact support, where ${\rm NP}(dd^cu)^n$ is the nonpolar part of $(dd^cu)^n$, and conditions implying that $u\in \cal D$. For $u_j=\max(u,-j)$ these conditions imply also that \begin{equation*} \lim_{j\to +\infty} \int_K(dd^cu_j)^n=\int_K {\rm NP}(dd^cu)^n \end{equation*} for any compact set $K\subset\{u>-\infty\}$. △ Less

Submitted 24 January, 2023; v1 submitted 23 January, 2023; originally announced January 2023.

An equality of Monge-Ampère measures

Authors: Mohamed El Kadiri

Abstract: Let $u$ and $v$ be two plurisubharmonic functions in the domain of definition of the Monge-Ampère operator on a domain $Ω\subset {\bf C}^n$. We prove that if $u=v$ on a plurifinely open set $U\subset Ω$ that is Borel measurable, then $(dd^cu)^n|_U=(dd^cv)^n|_U$. This result was proved by Bedford and Taylor in the case where $u$ and $v$ are locally bounded, and by El Kadiri and Wiegerinck when $u$… ▽ More Let $u$ and $v$ be two plurisubharmonic functions in the domain of definition of the Monge-Ampère operator on a domain $Ω\subset {\bf C}^n$. We prove that if $u=v$ on a plurifinely open set $U\subset Ω$ that is Borel measurable, then $(dd^cu)^n|_U=(dd^cv)^n|_U$. This result was proved by Bedford and Taylor in the case where $u$ and $v$ are locally bounded, and by El Kadiri and Wiegerinck when $u$ and $v$ are finite, and by Hai and Hiep when $U$ is of the form $U=\bigcup_{j=1}^m\{\varphi_j>ψ_j\}$, where $\varphi_j$, $ψ_j$, $j=1,...,m$, are plurisubharmonic functions on $Ω$. △ Less

Submitted 2 August, 2022; v1 submitted 27 July, 2022; originally announced July 2022.

Comments: 8 pages

MSC Class: 31C10; 32U05; 32U15

A note on maximal plurifinely plurisubharmonic functions

Authors: Mohamed El Kadiri

Abstract: In this note we study the plurifinely locally maximal plurifinely plurisubharmonic functions and improve some known results on these functions. We prove in particular that any locally bounded plurifinely locally maximal plurifinely plurisubharmonic function is maximal, and that any finite plurisubharmonic function on an open subset of $\mathbb{C}^n$ is maximal if and only if it is plurifinely loca… ▽ More In this note we study the plurifinely locally maximal plurifinely plurisubharmonic functions and improve some known results on these functions. We prove in particular that any locally bounded plurifinely locally maximal plurifinely plurisubharmonic function is maximal, and that any finite plurisubharmonic function on an open subset of $\mathbb{C}^n$ is maximal if and only if it is plurifinely locally maximal. △ Less

Submitted 2 November, 2017; originally announced November 2017.

MSC Class: 32U05; 32U15; 31C10; 31C40

On the existence of the biharmonic Green kernels and the the adjoint biharmonic functions

Authors: Abderrahim Aslimani, Imad El Ghazi, Mohamed El Kadiri, Sabah Haddad

Abstract: We study the existence and the regularity of the biharmonic Green kernel in a Brelot biharmonic space whose associated harmonic spaces have Green kernels. We show by some examples that this kernel does not always exist. We then introduce and study the adjoint of the given biharmonic space. This study was initiated by Smyrnelis, however, it seems that several results were incomplete and we clarify… ▽ More We study the existence and the regularity of the biharmonic Green kernel in a Brelot biharmonic space whose associated harmonic spaces have Green kernels. We show by some examples that this kernel does not always exist. We then introduce and study the adjoint of the given biharmonic space. This study was initiated by Smyrnelis, however, it seems that several results were incomplete and we clarify them here. △ Less

Submitted 9 June, 2017; v1 submitted 20 June, 2016; originally announced June 2016.

Comments: This paper has been accepted for publication in ANNALI DELL'UNIVERSITA' DI FERRARA (Springer)

MSC Class: 31B30; 31C40; 31D05

Propriété de convergence de certaines familles de fonctions finement harmoniques et régularité du noyau de Green d'un domaine fin

Authors: Abderrahim Aslimani, Mohamed El Kadiri

Abstract: We prove a convergence property for some families of finely harmonic functions on a fine domain $U$ of $\RR^n$ ($n\ge 2$), and we apply it to prove some regularity of the fine Green kernel of $U$. We prove a convergence property for some families of finely harmonic functions on a fine domain $U$ of $\RR^n$ ($n\ge 2$), and we apply it to prove some regularity of the fine Green kernel of $U$. △ Less

Submitted 6 April, 2015; originally announced April 2015.

Comments: 8 pages, in French

MSC Class: 31C40

The Dirichlet problem at the Martin boundary of a fine domain

Authors: Mohamed El Kadiri, Bent Fuglede

Abstract: We develop the Perron-Wiener-Brelot method of solving the Dirichlet problem at the Martin boundary of a fine domain in $\RR^n$ ($n\ge2$). We develop the Perron-Wiener-Brelot method of solving the Dirichlet problem at the Martin boundary of a fine domain in $\RR^n$ ($n\ge2$). △ Less

Submitted 31 December, 2014; originally announced January 2015.

Swee** at the Martin boundary of a fine domain

Authors: Mohamed El Kadiri, Bent Fuglede

Abstract: We study swee** on a subset of the Riesz-Martin space of a fine domain in $\RR^n$ ($n\ge2$), both with respect to the natural topology and the minimal-fine topology, and show that the two notions of swee** are identical. We study swee** on a subset of the Riesz-Martin space of a fine domain in $\RR^n$ ($n\ge2$), both with respect to the natural topology and the minimal-fine topology, and show that the two notions of swee** are identical. △ Less

Submitted 5 April, 2015; v1 submitted 24 September, 2014; originally announced September 2014.

Comments: Minor correction

Martin boundary of a fine domain and a Fatou-Naim-Doob theorem for finely superharmonic functions

Authors: Mohamed El Kadiri, Bent Fuglede

Abstract: We construct the Martin compactification ${\bar U}$ of a fine domain $U$ in $R^n$, $n\ge 2$, and the Riesz-Martin kernel $K$ on $U \times{\bar U}$. We obtain the integral representation of finely superharmonic fonctions $\ge 0$ on $U$ in terms of $K$ and establish the Fatou-Naim-Doob theorem in this setting. We construct the Martin compactification ${\bar U}$ of a fine domain $U$ in $R^n$, $n\ge 2$, and the Riesz-Martin kernel $K$ on $U \times{\bar U}$. We obtain the integral representation of finely superharmonic fonctions $\ge 0$ on $U$ in terms of $K$ and establish the Fatou-Naim-Doob theorem in this setting. △ Less

Submitted 28 July, 2015; v1 submitted 4 March, 2014; originally announced March 2014.

Comments: Manuscript as accepted by publisher. To appear in Potential Analysis

MSC Class: 31A10; 31C35; 31C40

Maximal Plurifinely Plurisubharmonic functions

Authors: Mohamed El Kadiri, Iris Marjan Smit

Abstract: The main purpose of this paper is to introduce and study the notion of plurifinely-maximal plurifinely plurisubharmonic functions, which extends the notion of maximal plurisubharmonic functions on a Euclidean domain to a plurifine domain of C^n in a natural way. Our main result is that a finite plurifinely plurisubharmonic function u on a plurifine domain U satisfies (dd^c u)^n=0 if and only if u… ▽ More The main purpose of this paper is to introduce and study the notion of plurifinely-maximal plurifinely plurisubharmonic functions, which extends the notion of maximal plurisubharmonic functions on a Euclidean domain to a plurifine domain of C^n in a natural way. Our main result is that a finite plurifinely plurisubharmonic function u on a plurifine domain U satisfies (dd^c u)^n=0 if and only if u is plurifinely-locally plurifinely-maximal outside some pluripolar set. In particular, a finite plurifinely-maximal plurisubharmonic function u satisfies (dd^c u)^n=0. △ Less

Submitted 20 June, 2014; v1 submitted 3 November, 2013; originally announced November 2013.

Comments: 20 pages, manuscript as accepted by publisher. To appear in Potential Analysis

MSC Class: 32U05; 31C10

Plurifinely Plurisubharmonic functions and the Monge Ampère Operator

Authors: Mohamed El Kadiri, Jan Wiegerinck

Abstract: We will define the Monge-Ampère operator on finite (weakly) plurifinely plurisubharmonic functions in plurifinely open sets in complex n-space and show that it defines a positive measure. Ingredients of the proof include a direct proof for bounded strongly plurifinely plurisubharmonic functions, which is based on the fact that such functions can plurifinely locally be written as difference of ordi… ▽ More We will define the Monge-Ampère operator on finite (weakly) plurifinely plurisubharmonic functions in plurifinely open sets in complex n-space and show that it defines a positive measure. Ingredients of the proof include a direct proof for bounded strongly plurifinely plurisubharmonic functions, which is based on the fact that such functions can plurifinely locally be written as difference of ordinary plurisubharmonic functions, and an approximation result stating that weakly plurifinely plurisubharmonic functions are locally limits of strongly finely plurisubharmonic functions in the Dirichlet norm. △ Less

Submitted 14 August, 2013; v1 submitted 14 September, 2012; originally announced September 2012.

Comments: 17 pages In V2 some inaccuracies and typo's were corrected. In V3 section 2 was partially rewritten. This version is a bit more elegant and hopefully more transparent

MSC Class: 32U05; 32U15

Plurisubharmonic and holomorphic functions relative to the plurifine topology

Authors: Mohamed El Kadiri, Bent Fuglede, Jan Wiegerinck

Abstract: A weak and a strong concept of plurifinely plurisubharmonic and plurifinely holomorphic functions are introduced. Strong will imply weak. The weak concept is studied further. A function f is weakly plurifinely plurisubharmonic if and only if f o h is finely subharmonic for all complex affine-linear maps h. As a consequence, the regularization in the plurifine topology of a pointwise supremum of su… ▽ More A weak and a strong concept of plurifinely plurisubharmonic and plurifinely holomorphic functions are introduced. Strong will imply weak. The weak concept is studied further. A function f is weakly plurifinely plurisubharmonic if and only if f o h is finely subharmonic for all complex affine-linear maps h. As a consequence, the regularization in the plurifine topology of a pointwise supremum of such functions is weakly plurifinely plurisubharmonic, and it differs from the pointwise supremum at most on a pluripolar set. Weak plurifine plurisubharmonicity and weak plurifine holomorphy are preserved under composition with weakly plurifinely holomorphic maps. △ Less

Submitted 19 November, 2010; originally announced November 2010.

Comments: 28 pages

MSC Class: 31C40 32U15