Local property of maximal plurifinely plurisubharmonic functions
In this paper, we prove that a continuous plurisubharmonic functions defined in an open set in is maximal if and only if it is locally maximal.
keywords:plurifine pluripotential theory, plurisubharmonic functions, maximal plurisubharmonic functions
Msc: 32U05, 32U15
The plurifine topology on a Euclidean open set of is the smallest topology that makes all plurisubharmonic function on continuous. El Kadiri K03 () defined in 2003 the notion of finely plurisubharmonic function in a plurifine open subset of and studied properties of such functions. These functions are introduced as plurifinely upper semicontinuous functions, of which the restriction to complex lines are finely subharmonic, where a finely subharmonic function is defined on on a fine domain is a finely upper semi-continuous and satisfies an appropriate modification of the mean value inequality. In MW10 () El Marzguioui and Wiegerinck studied the continuity properties of the plurifinely plurisubharmonic functions. El Kadiri, Fuglede and Wiegerinck KFW11 () proved in 2011 the most important properties of the plurifinely plurisubharmonic functions. El Kadiri and Wiegerinck KW14 () defined in 2014 the Monge-Ampère operator on finite plurifinely plurisubharmonic functions in plurifinely open sets and show that it defines a positive measure. El Kadiri and M. Smit KS14 () introduced and studied in 2014 the notion of -maximal -plurisubharmonic functions, which extends the notion of maximal plurisubharmonic functions on a Euclidean domain to an -domain of in a natural way.
There is a natural questions that whether an locally maximal plurisubharmonic function on an open set of also maximal in (see question 4.17 in KS14 ()).
El Kadiri and M. Smit KS14 () gave an example to show that this result is not valid when the function is not finite.
The aim of this paper is to give a positive answer for this question when the function is continuous.
Namely, we will prove the following theorem.
Main theorem. Let be an open set in . Assume that is a continuous plurisubharmonic function in .
Then is maximal in if and only if it is locally maximal in .
Klimek Kl91 () proved that a locally bounded plurisubharmonic function defined in an Euclidean open set is maximal if and only if , and therefore, the bounded plurisubharmonic functions defined in an Euclidean open set is maximal if and only if it is locally maximal. Notice that for bounded plurisubharmonic functions defined in an open set , the complex Monge-Ampère operator is locally defined in (see KW14 ()), and therefore, in if and only if is locally maximal in (see KS14 ()). Hence, it need to find an another approach in studying the local property of maximal plurisubharmonic functions. Techniques used in the proof of the main theorem come from HHo131 () (also see HHo132 ()).
The paper is organized as follows. In section 2 we recall some notions of plurifine pluripotential theory. In Section 3 we prove main theorem.
2.1. The plurifine topology
The plurifine topology on a Euclidean open set of is the smallest topology that makes all plurisubharmonic functions on continuous.
Notions pertaining to the plurifine topology are indicated with the prefix to distinguish them from notions pertaining to the Euclidean topology on . For a set we write for the closure of in the one point compactification of , for the -closure of and for the -boundary of .
A local basis is given by the sets where be Euclidean open balls of center , radius ; and with .
The plurifine topology is quasi-Lindelöf, that is, every arbitrary union of open sets is
the union of a countable subunion and a pluripolar set.
2.2. plurisubharmonic functions
Let be an open set in . A function is said to be plurisubharmonic function if it is upper semicontinuous, and for every complete line in , the restriction of to any component of the finely open subset of is either finely subharmonic or .
The set of all plurisubharmonic functions in is denoted by .
Let . We say that is maximal in if for every bounded open set of with , and for every function that is bounded from above on and extends upper semicontinuously to with on implies on .
The set of all maximal plurisubharmonic functions in is denoted by .
The function is called locally (resp. locally) maximal in if for every there exists an Euclidean open (resp. open) neighbourhood of such that is maximal on .
3 Proof of main theorem
First we give the following.
Let be an open set in . Assume that is a bounded plurisubharmonic function in . Then, the following conditions are equivalent
(b) , for every pluriharmonic functions in .
(c) For every and for every open set with we have
(a) (b) is obvious.
(a) (c). Let and let be an open set with . Put
Without loss of generality we can assume that . Then in . In particular, on , and hence, in . Therefore,
(c) (a). Let be an open set in with , and let such that is bounded from above on , extends upper semicontinuously to , and on . Put
Thanks to Proposition 2.3 in KS14 () we have . It follows that
Hence, in . The proof is complete. ∎
Let be open sets in . Assume that is bounded, locally maximal, plurisubharmonic function in . Then is maximal in .
Let be a plurisubharmonic function in and let is a bounded open set in such that . Choose such that . Let . Put , . Choose such that and
Let such that and is maximal plurisubharmonic function in . Without loss of generality we can assume that . Put
It follows that
Let we obtain that
Thanks to Proposition 3.1 this implies that is maximal plurisubharmonic function in . The proof is complete. ∎
We now give the proof of main theorem.
Proof of main theorem.
The proof of the necessity is obvious. We now give the proof of the sufficiency. By Proposition 3.2 it remains to prove that is locally maximal in , and hence, without loss of generality we can assume that . Let is a bounded open set in with , and let such that is bounded from above on , extends upper semicontinuously to and on . Let . Put
Thanks to Proposition 2.3 in KS14 () we have . Assume that
Choose such that , for all and
First, we claim that
Indeed, let . Since is continuous in so there exist a smooth functions defined in such that
Choose such that
we have . It follows that
Letting we obtain that
This proves the claim.
Now, since is continuous function, we have
It follows that . Thanks to Theorem 3.1 in MW10 () this implies that is open neighbourhood of .
Let and let such that , and is maximal plurisubharmonic function in . Without loss of generality we can assume that is bounded on . Put
It implies that
Let , we obtain
This is impossible. Thus,
Letting we obtain that
It follows that in . Hence, is maximal plurisubharmonic function in . The proof is complete. ∎
Let be an open set in . Assume that is a continuous plurisubharmonic function in . Then is maximal in if and only if on .
- (1) Z. Blocki, A note on maximal plurisubharmonic functions, Uzbek. Mat. Zh., no. 1 (2009), 28–32.
- (2) U. Cegrell, Maximal plurisubharmonic functions, Uzbek. Mat. Zh., no. 1 (2009), 10–16.
- (3) M. El Kadiri, Fonctions finement plurisousharmoniques et topologie plurifine, Rend. Accad. Naz. Sci. XL Mem. Mat. Appl. (5) 27 (2003), 77–88.
- (4) M. El Kadiri, B. Fuglede and J. Wiegerinck, Plurisubharmonic and holomorphic functions relative to the plurifine topology, J. Math. Anal. Appl., 381 (2011), 107–126.
- (5) M. El Kadiri and I. M. Smit, Maximal plurifinely plurisubharmonic functions, Potential Anal., 41 (2014), 1329–1345.
- (6) M. El Kadiri and J. Wiegerinck, Plurifinely plurisubharmonic functions and the Monge-Ampère operator, Potential Anal., 41 (2014), 469–485.
- (7) S. El Marzguioui and J. Wiegerinck, Continuity properties of finely plurisubharmonic functions, Indiana Univ. Math. J., 59 (5), 1793–1800 (2010).
- (8) B. Fuglede, Finely harmonic functions, Lecture Notes in Math., vol. 289, Springer, Berlin (1972).
- (9) L. M. Hai and N. X. Hong, Maximal -plurisubharmonic functions in , Results in Math., 63 (2013), no. 1-2, 63–77.
- (10) L. M. Hai and N. X. Hong, Maximal -subharmonicity in , Vietnam J. Math., 41 (2013), no. 2, 1–10.
- (11) M. Klimek, Pluripotential Theory, The Clarendon Press Oxford University Press, New York, 1991, Oxford Science Publications.
- (12) A. Sadullaev, A class of maximal plurisubharmonic functions, Ann. Polon. Math., 106 (2012), 265–274.
- (13) J. Wiegerinck, Plurifine potential theory, Ann. Polon. Math., 106, 275-292 (2012).