Plurisubharmonic Function - Formal Definition

Formal Definition

A function

with domain is called plurisubharmonic if it is upper semi-continuous, and for every complex line

with

the function is a subharmonic function on the set

In full generality, the notion can be defined on an arbitrary complex manifold or even a Complex analytic space as follows. An upper semi-continuous function

is said to be plurisubharmonic if and only if for any holomorphic map the function

is subharmonic, where denotes the unit disk.

Read more about this topic:  Plurisubharmonic Function

Famous quotes containing the words formal and/or definition:

    True variety is in that plenitude of real and unexpected elements, in the branch charged with blue flowers thrusting itself, against all expectations, from the springtime hedge which seems already too full, while the purely formal imitation of variety ... is but void and uniformity, that is, that which is most opposed to variety....
    Marcel Proust (1871–1922)

    Was man made stupid to see his own stupidity?
    Is God by definition indifferent, beyond us all?
    Is the eternal truth man’s fighting soul
    Wherein the Beast ravens in its own avidity?
    Richard Eberhart (b. 1904)