Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several...
Transcript of Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several...
![Page 1: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/1.jpg)
Complex Analysis in Several Variables
Ragnar SigurdssonUniversity of Iceland
SSF Workshop, Lund, Sweden
January 14, 2015
![Page 2: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/2.jpg)
Contents:
1. Overview of compex analysis in several variables.
2. Analytic (holomorphic) functions.
3. Holomorphic maps.
4. Domains of holomorphy.
5. Integral representations.
6. Plurisubharmonic functions.
7. Cauchy-Riemann equations.
![Page 3: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/3.jpg)
1. Overview of compex analysis in several variables
(i) Function theory in domains of Cn.
(ii) Complex manifolds.
(iii) Analytic geometry and complex spaces.
(iv) Applications to PDE.
(v) Applications to Fourier-analysis.
(vi) Study of special PDE.
![Page 4: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/4.jpg)
1. Overview of compex analysis in several variables
(i) Function theory in domains of Cn.
(ii) Complex manifolds.
(iii) Analytic geometry and complex spaces.
(iv) Applications to PDE.
(v) Applications to Fourier-analysis.
(vi) Study of special PDE.
![Page 5: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/5.jpg)
1. Overview of compex analysis in several variables
(i) Function theory in domains of Cn.
(ii) Complex manifolds.
(iii) Analytic geometry and complex spaces.
(iv) Applications to PDE.
(v) Applications to Fourier-analysis.
(vi) Study of special PDE.
![Page 6: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/6.jpg)
1. Overview of compex analysis in several variables
(i) Function theory in domains of Cn.
(ii) Complex manifolds.
(iii) Analytic geometry and complex spaces.
(iv) Applications to PDE.
(v) Applications to Fourier-analysis.
(vi) Study of special PDE.
![Page 7: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/7.jpg)
1. Overview of compex analysis in several variables
(i) Function theory in domains of Cn.
(ii) Complex manifolds.
(iii) Analytic geometry and complex spaces.
(iv) Applications to PDE.
(v) Applications to Fourier-analysis.
(vi) Study of special PDE.
![Page 8: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/8.jpg)
1. Overview of compex analysis in several variables
(i) Function theory in domains of Cn.
(ii) Complex manifolds.
(iii) Analytic geometry and complex spaces.
(iv) Applications to PDE.
(v) Applications to Fourier-analysis.
(vi) Study of special PDE.
![Page 9: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/9.jpg)
2. Analytic (holomorphic) functions
Let X ⊂ C, a ∈ X be a point, z = x + iy , z̄ = x − iy .
The di�erential of a function f : X → C is:
daf =∂f
∂x(a)dx +
∂f
∂y(a)dy =
∂f
∂z(a)dz +
∂f
∂z̄(a)dz̄ ,
where dz = dx + iy , dz̄ = dx − idy , and
∂
∂z=
1
2
(∂
∂x− i
∂
∂y
), and
∂
∂z̄=
1
2
(∂
∂x+ i
∂
∂y
),
For functions of n complex variables z = (z1, . . . , zn), wherezj = xj + iyj , the di�erential is
daf =n∑j=1
∂f
∂zj(a)dzj +
n∑j=1
∂f
∂z̄j(a)dz̄j = ∂f + ∂̄f .
![Page 10: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/10.jpg)
2. Analytic (holomorphic) functions
Let X ⊂ C, a ∈ X be a point, z = x + iy , z̄ = x − iy .
The di�erential of a function f : X → C is:
daf =∂f
∂x(a)dx +
∂f
∂y(a)dy =
∂f
∂z(a)dz +
∂f
∂z̄(a)dz̄ ,
where dz = dx + iy , dz̄ = dx − idy , and
∂
∂z=
1
2
(∂
∂x− i
∂
∂y
), and
∂
∂z̄=
1
2
(∂
∂x+ i
∂
∂y
),
For functions of n complex variables z = (z1, . . . , zn), wherezj = xj + iyj , the di�erential is
daf =n∑j=1
∂f
∂zj(a)dzj +
n∑j=1
∂f
∂z̄j(a)dz̄j = ∂f + ∂̄f .
![Page 11: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/11.jpg)
2. Analytic (holomorphic) functions
Let X ⊂ C, a ∈ X be a point, z = x + iy , z̄ = x − iy .
The di�erential of a function f : X → C is:
daf =∂f
∂x(a)dx +
∂f
∂y(a)dy =
∂f
∂z(a)dz +
∂f
∂z̄(a)dz̄ ,
where dz = dx + iy , dz̄ = dx − idy , and
∂
∂z=
1
2
(∂
∂x− i
∂
∂y
), and
∂
∂z̄=
1
2
(∂
∂x+ i
∂
∂y
),
For functions of n complex variables z = (z1, . . . , zn), wherezj = xj + iyj , the di�erential is
daf =n∑j=1
∂f
∂zj(a)dzj +
n∑j=1
∂f
∂z̄j(a)dz̄j = ∂f + ∂̄f .
![Page 12: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/12.jpg)
De�nition f is analytic if daf is C-linear at every point a in X ,
which means that the Cauchy-Riemann-equations are satis�ed:
∂f
∂z̄j(a) = 0, j = 1, . . . , n.
The set of all analytic functions on X is denoted by O(X ).
It is actually possible to give a weaker de�nition:
Theorem (Hartogs 1906): If f : X → C is a function and for every
point a ∈ X the function
ζ 7→ f (a1, . . . , aj−1, ζ, aj+1, . . . , an)
is analytic in a neighbourhood of aj , then f ∈ O(X )
![Page 13: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/13.jpg)
De�nition f is analytic if daf is C-linear at every point a in X ,
which means that the Cauchy-Riemann-equations are satis�ed:
∂f
∂z̄j(a) = 0, j = 1, . . . , n.
The set of all analytic functions on X is denoted by O(X ).
It is actually possible to give a weaker de�nition:
Theorem (Hartogs 1906): If f : X → C is a function and for every
point a ∈ X the function
ζ 7→ f (a1, . . . , aj−1, ζ, aj+1, . . . , an)
is analytic in a neighbourhood of aj , then f ∈ O(X )
![Page 14: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/14.jpg)
De�nition f is analytic if daf is C-linear at every point a in X ,
which means that the Cauchy-Riemann-equations are satis�ed:
∂f
∂z̄j(a) = 0, j = 1, . . . , n.
The set of all analytic functions on X is denoted by O(X ).
It is actually possible to give a weaker de�nition:
Theorem (Hartogs 1906): If f : X → C is a function and for every
point a ∈ X the function
ζ 7→ f (a1, . . . , aj−1, ζ, aj+1, . . . , an)
is analytic in a neighbourhood of aj , then f ∈ O(X )
![Page 15: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/15.jpg)
A Cauchy formula and power series:Let
D = D(a1, r1)× · · · × D(an, rn)
be a polydisc and denote the distinguished boundary by
∂0D = ∂D(a1, r1)× · · · × ∂D(an, rn)
If f is analytic in a neigbourhood of D, then
f (z) =1
(2πi)n
∫∂0D
f (ζ1, . . . , ζn)
(ζ1 − z1) · · · (ζn − zn)dζ1 · · · dζn, z ∈ D.
This gives a local power series expansion
f (z) =∑α
∂αf (a)(z − a)α,
where
∂α =∂|α|
∂zα11· · · ∂zαnn
, ξα = ξα11· · · ξαnn , |α| = α1 + · · ·+ αn.
![Page 16: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/16.jpg)
A Cauchy formula and power series:Let
D = D(a1, r1)× · · · × D(an, rn)
be a polydisc and denote the distinguished boundary by
∂0D = ∂D(a1, r1)× · · · × ∂D(an, rn)
If f is analytic in a neigbourhood of D, then
f (z) =1
(2πi)n
∫∂0D
f (ζ1, . . . , ζn)
(ζ1 − z1) · · · (ζn − zn)dζ1 · · · dζn, z ∈ D.
This gives a local power series expansion
f (z) =∑α
∂αf (a)(z − a)α,
where
∂α =∂|α|
∂zα11· · · ∂zαnn
, ξα = ξα11· · · ξαnn , |α| = α1 + · · ·+ αn.
![Page 17: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/17.jpg)
3. Holomorphic maps
Let X be open in Cn. A map F = (F1, . . . ,Fm) : X → Cm is said
to be holomorphic if Fj ∈ O(X ) for all j .
If m = n and F is bijective onto its image Y = F (X ), then we say
that F is biholomorphic.
We say that two domains X and Y are biholomorphically equivalent
if there exists a biholomorphic map on X with Y = F (X )
The Riemann Mapping Theorem: If X is a simply connected
domain in C, ∅ 6= X and X 6= C, then X is biholomorphically
equivalent to D the unit disc in C.This does not generalize to higher dimensions:
Theorem: If n > 1, then the unit ball
Bn = {z ∈ Cn ; |z1|2 + · · ·+ |zn|n < 1}
in Cn is not biholomorphically equivalent to a polydisc.
![Page 18: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/18.jpg)
3. Holomorphic maps
Let X be open in Cn. A map F = (F1, . . . ,Fm) : X → Cm is said
to be holomorphic if Fj ∈ O(X ) for all j .
If m = n and F is bijective onto its image Y = F (X ), then we say
that F is biholomorphic.
We say that two domains X and Y are biholomorphically equivalent
if there exists a biholomorphic map on X with Y = F (X )
The Riemann Mapping Theorem: If X is a simply connected
domain in C, ∅ 6= X and X 6= C, then X is biholomorphically
equivalent to D the unit disc in C.This does not generalize to higher dimensions:
Theorem: If n > 1, then the unit ball
Bn = {z ∈ Cn ; |z1|2 + · · ·+ |zn|n < 1}
in Cn is not biholomorphically equivalent to a polydisc.
![Page 19: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/19.jpg)
3. Holomorphic maps
Let X be open in Cn. A map F = (F1, . . . ,Fm) : X → Cm is said
to be holomorphic if Fj ∈ O(X ) for all j .
If m = n and F is bijective onto its image Y = F (X ), then we say
that F is biholomorphic.
We say that two domains X and Y are biholomorphically equivalent
if there exists a biholomorphic map on X with Y = F (X )
The Riemann Mapping Theorem: If X is a simply connected
domain in C, ∅ 6= X and X 6= C, then X is biholomorphically
equivalent to D the unit disc in C.
This does not generalize to higher dimensions:
Theorem: If n > 1, then the unit ball
Bn = {z ∈ Cn ; |z1|2 + · · ·+ |zn|n < 1}
in Cn is not biholomorphically equivalent to a polydisc.
![Page 20: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/20.jpg)
3. Holomorphic maps
Let X be open in Cn. A map F = (F1, . . . ,Fm) : X → Cm is said
to be holomorphic if Fj ∈ O(X ) for all j .
If m = n and F is bijective onto its image Y = F (X ), then we say
that F is biholomorphic.
We say that two domains X and Y are biholomorphically equivalent
if there exists a biholomorphic map on X with Y = F (X )
The Riemann Mapping Theorem: If X is a simply connected
domain in C, ∅ 6= X and X 6= C, then X is biholomorphically
equivalent to D the unit disc in C.This does not generalize to higher dimensions:
Theorem: If n > 1, then the unit ball
Bn = {z ∈ Cn ; |z1|2 + · · ·+ |zn|n < 1}
in Cn is not biholomorphically equivalent to a polydisc.
![Page 21: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/21.jpg)
4. Domains of holomorphy
With the aid of the Weierstrass product theorem it is possible to
show that for every open X in C there exits f ∈ O(X ), which can
not be extended to a holomorphic function in a neighbourhood of a
boundary point of X .
Theorem (Hartogs 1906): Let X be an open subset of Cn, n > 1,
K be a compact subset of X such that X \ K is connected. Then
every function f ∈ O(X \ K ) extends uniquely to a function
F ∈ O(X ).
We have a little bit technical de�nition:
De�nition: An open set X is said to be a domain of holomorphy if
there do not exist non-empty open sets X1 and X2 with X2 is
connected, X2 6⊂ X , and X1 ⊂ X ∩ X2, such that for every
f ∈ O(X ) there exists F ∈ O(X2) such that f = F on X1.
There exist many equivalent characterizations of domains of
holomorphy: (Oka, Cartan, Bremermann, and Norguet,
c.a. 1937-1954).
![Page 22: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/22.jpg)
4. Domains of holomorphy
With the aid of the Weierstrass product theorem it is possible to
show that for every open X in C there exits f ∈ O(X ), which can
not be extended to a holomorphic function in a neighbourhood of a
boundary point of X .
Theorem (Hartogs 1906): Let X be an open subset of Cn, n > 1,
K be a compact subset of X such that X \ K is connected. Then
every function f ∈ O(X \ K ) extends uniquely to a function
F ∈ O(X ).
We have a little bit technical de�nition:
De�nition: An open set X is said to be a domain of holomorphy if
there do not exist non-empty open sets X1 and X2 with X2 is
connected, X2 6⊂ X , and X1 ⊂ X ∩ X2, such that for every
f ∈ O(X ) there exists F ∈ O(X2) such that f = F on X1.
There exist many equivalent characterizations of domains of
holomorphy: (Oka, Cartan, Bremermann, and Norguet,
c.a. 1937-1954).
![Page 23: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/23.jpg)
4. Domains of holomorphy
With the aid of the Weierstrass product theorem it is possible to
show that for every open X in C there exits f ∈ O(X ), which can
not be extended to a holomorphic function in a neighbourhood of a
boundary point of X .
Theorem (Hartogs 1906): Let X be an open subset of Cn, n > 1,
K be a compact subset of X such that X \ K is connected. Then
every function f ∈ O(X \ K ) extends uniquely to a function
F ∈ O(X ).
We have a little bit technical de�nition:
De�nition: An open set X is said to be a domain of holomorphy if
there do not exist non-empty open sets X1 and X2 with X2 is
connected, X2 6⊂ X , and X1 ⊂ X ∩ X2, such that for every
f ∈ O(X ) there exists F ∈ O(X2) such that f = F on X1.
There exist many equivalent characterizations of domains of
holomorphy: (Oka, Cartan, Bremermann, and Norguet,
c.a. 1937-1954).
![Page 24: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/24.jpg)
4. Domains of holomorphy
With the aid of the Weierstrass product theorem it is possible to
show that for every open X in C there exits f ∈ O(X ), which can
not be extended to a holomorphic function in a neighbourhood of a
boundary point of X .
Theorem (Hartogs 1906): Let X be an open subset of Cn, n > 1,
K be a compact subset of X such that X \ K is connected. Then
every function f ∈ O(X \ K ) extends uniquely to a function
F ∈ O(X ).
We have a little bit technical de�nition:
De�nition: An open set X is said to be a domain of holomorphy if
there do not exist non-empty open sets X1 and X2 with X2 is
connected, X2 6⊂ X , and X1 ⊂ X ∩ X2, such that for every
f ∈ O(X ) there exists F ∈ O(X2) such that f = F on X1.
There exist many equivalent characterizations of domains of
holomorphy: (Oka, Cartan, Bremermann, and Norguet,
c.a. 1937-1954).
![Page 25: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/25.jpg)
5. Integral representations
The Cauchy-Fantappiè-Leray formula: Let ω be a domain in X with
smoooth boundary ∂ω in X and assume that ω is de�ned by the
function % in the sense that
ω = {z ∈ X ; %(z) < 0}
and the gradient
%′ = (∂%/∂z1, . . . , ∂%/∂zn)
is non-zero at every boundary point.
Then for every f ∈ O(X ) we have
f (z) =1
(2πi)n
∫∂ω
f (ζ) ∂% ∧ (∂̄∂%)n−1
〈%′(ζ), ζ − z〉n, z ∈ ω.
![Page 26: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/26.jpg)
5. Integral representations
The Cauchy-Fantappiè-Leray formula: Let ω be a domain in X with
smoooth boundary ∂ω in X and assume that ω is de�ned by the
function % in the sense that
ω = {z ∈ X ; %(z) < 0}
and the gradient
%′ = (∂%/∂z1, . . . , ∂%/∂zn)
is non-zero at every boundary point.
Then for every f ∈ O(X ) we have
f (z) =1
(2πi)n
∫∂ω
f (ζ) ∂% ∧ (∂̄∂%)n−1
〈%′(ζ), ζ − z〉n, z ∈ ω.
![Page 27: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/27.jpg)
6. Plurisubharmonic functions
A function ϕ : X → R ∪ {−∞} is said to be plurisubharmonic if
∑j ,k
∂2ϕ
∂zj∂z̄kwj w̄k ≥ 0.
Examples:
(i) Convex functions on convex domains X .
(ii) ϕ = log |f |, f ∈ O(X ).
(iii) ϕ = log(|f1|p1 + · · ·+ |fm|pm), fj ∈ O(X ).
The class of PSH(X ) of plurisubharmonic functions has many
good properties which enables us to construct functions, e.g.,
ϕ = sup{ϕ1, . . . , ϕm} ∈ PSH(X ), if ϕj ∈ PSH(X )
![Page 28: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/28.jpg)
6. Plurisubharmonic functions
A function ϕ : X → R ∪ {−∞} is said to be plurisubharmonic if
∑j ,k
∂2ϕ
∂zj∂z̄kwj w̄k ≥ 0.
Examples:
(i) Convex functions on convex domains X .
(ii) ϕ = log |f |, f ∈ O(X ).
(iii) ϕ = log(|f1|p1 + · · ·+ |fm|pm), fj ∈ O(X ).
The class of PSH(X ) of plurisubharmonic functions has many
good properties which enables us to construct functions, e.g.,
ϕ = sup{ϕ1, . . . , ϕm} ∈ PSH(X ), if ϕj ∈ PSH(X )
![Page 29: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/29.jpg)
6. Plurisubharmonic functions
A function ϕ : X → R ∪ {−∞} is said to be plurisubharmonic if
∑j ,k
∂2ϕ
∂zj∂z̄kwj w̄k ≥ 0.
Examples:
(i) Convex functions on convex domains X .
(ii) ϕ = log |f |, f ∈ O(X ).
(iii) ϕ = log(|f1|p1 + · · ·+ |fm|pm), fj ∈ O(X ).
The class of PSH(X ) of plurisubharmonic functions has many
good properties which enables us to construct functions, e.g.,
ϕ = sup{ϕ1, . . . , ϕm} ∈ PSH(X ), if ϕj ∈ PSH(X )
![Page 30: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/30.jpg)
7. The inhomogeneous Cauchy-Riemann equations
Assume that we have a function g ∈ C∞(X ) and that we want to
modify g , so that it becomes holomorphic, i.e., we want to �nd
u ∈ C∞(X ) such that
F = G − u.
Then u has to satisfy the inhomogeneous Cauchy-Riemann
equations∂u
∂z̄j= fj , with fj =
∂G
∂z̄j
![Page 31: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/31.jpg)
Hörmander's existence theorem
Let X be a domain of holomorphy, fj ∈ C 1(X ) be functions on X
satisfying∂fj∂z̄k
=∂fk∂z̄j
.
and let ϕ : X → R ∪ {−∞} be a plurisubharmonic function.
Then
there exists a function u on X satisfying the Cauchy-Riemann
equations∂u
∂z̄j= fj ,
with the L2-estimate of u in terms of f = (f1, . . . , fn),∫X
|u|2(1 + |z |2)−2e−ϕ dλ ≤∫X
|f |2e−ϕ dλ
![Page 32: Ragnar Sigurdsson University of Iceland · Contents: 1.Overview of compex analysis in several variables. 2.Analytic (holomorphic) functions. 3.Holomorphic maps. 4.Domains of holomorphy.](https://reader035.fdocuments.us/reader035/viewer/2022070913/5fb4869c71023d674e2952fd/html5/thumbnails/32.jpg)
Hörmander's existence theorem
Let X be a domain of holomorphy, fj ∈ C 1(X ) be functions on X
satisfying∂fj∂z̄k
=∂fk∂z̄j
.
and let ϕ : X → R ∪ {−∞} be a plurisubharmonic function. Then
there exists a function u on X satisfying the Cauchy-Riemann
equations∂u
∂z̄j= fj ,
with the L2-estimate of u in terms of f = (f1, . . . , fn),∫X
|u|2(1 + |z |2)−2e−ϕ dλ ≤∫X
|f |2e−ϕ dλ