Use this tag for questions related to the study of analytic functions of strictly more than one complex variables. For the single complex dimension case, use (complex-analysis).

learn more… | top users | synonyms

16
votes
3answers
1k views

Why isn't several complex variables as fundamental as multivariable calculus?

One typically studies analysis in $\mathbb{R}^n$ after studying analysis in $\mathbb{R}$. Why can't the same be said $\mathbb{C}$?
10
votes
1answer
294 views

Show that f is a polynomial

Suppose $f$ is an entire function on $\mathbb{C}^n$ that satisfies for every $\epsilon>0$ a growth-condition $$|f(z)|\leq C_{\epsilon}(1+|z|)^{N_{\epsilon}}e^{\epsilon | \text{Im}\,z|}$$ ...
9
votes
1answer
165 views

Formula for decomposing a form into $(p,q)$ forms

Let $L: \mathbb{C}^n \to \mathbb{C}$ be a real linear map. In other words, $L(a\vec{v}_1+b\vec{v_2}) = aL(\vec{v}_1)+bL(\vec{v}_2)$ for all $a,b \in \mathbb{R}$. Then $L$ decomposes uniquely into a ...
9
votes
1answer
123 views

$n$ Torus contained in the closure of the image of the unit disc under a holomorphic map?

I have the following question. Does there exists a holomorphic function $\varphi\in\mathcal{O}(\mathbb{D},\mathbb{D}^{n})$ such that $\mathbb{T}^n\subseteq\overline{\varphi(\mathbb{D})},$ where ...
8
votes
2answers
317 views

Characterizing holomorphic functions in $L^2(\Bbb C^n)$

One of my homework problems this week is to "characterize all holomorphic functions in $L^2(\Bbb C^n)$". I'm sorry for not being able to provide much work on my progress, but that is because I really ...
7
votes
2answers
195 views

What is pluripotential theory?

My tutor for electromagnetism showed me a problem about point charges in a disk and their equilibria. He referred me to a subject called "pluripotential theory". I googled it and I did not find what I ...
7
votes
2answers
606 views

Where to learn algebraic analysis

I have been studying categories, sheaf cohomology and complex analysis (the basics since I know just a little). Then recently I tried to find out more about algebraic analysis and these microlocal ...
7
votes
3answers
472 views

Sources on Several Complex Variables

I have searched the past entries about sources on SCV but couldn't find about this topic. If I am not careful enough, sorry for this! We are using Hörmander's book which is really hard to follow. ...
7
votes
1answer
328 views

Holomorphic function of a matrix

A statement is made below. The questions are: (a) Is the statement true? (b) If it is, does it appear in the literature? Here is the statement. For any matrix $A$ in $M_n(\mathbb C)$, write ...
6
votes
2answers
223 views

A ‘strong’ form of the Fundamental Theorem of Algebra

Let $ n \in \mathbb{N} $ and $ a_{0},\ldots,a_{n-1} \in \mathbb{C} $ be constants. By the Fundamental Theorem of Algebra, the polynomial $$ p(z) := z^{n} + \sum_{k=0}^{n-1} a_{k} z^{k} \in ...
6
votes
2answers
238 views

A complex valued continuous function which is holomorphic outside of its zeros

Let $D$ be a non-empty connected open subset of $\mathbb{C}^n$. Let $f$ be a complex valued continuous function on $D$. Let $Z$ be the set of zeros of $f$. Suppose $f$ is holomoprphic on $D - Z$. Is ...
6
votes
1answer
93 views

Level sets of holomorphic functions

It is a somewhat well known fact that any closed set (say in the plane) can be realized as the level set of a smooth ($C^\infty$) function, so level sets of smooth functions are as general as they can ...
6
votes
1answer
194 views

Convergence domain: $\{(z,w):|z|^2+|w|^2 < 1\}$

I would like a HINT for this: Exhibit a two variable power series whose convergence domain is the unit ball $\{(z,w):|z|^2+|w|^2 < 1\}$. ($z$ and $w$ are complex numbers.) I think that it ...
6
votes
1answer
131 views

A sequence that tell us if a holomorphic function of several variables is identically zero

Is there any sequence $\{ Z_{\nu} \}_{\nu \in \mathbb{N}}$ in $\mathbb{C}^{n}$, $Z_{\nu} \rightarrow 0$, such that any holomorphic function in $\mathbb{C}^{n}$ which vanishes in $Z_{\nu}$ for all $\nu ...
5
votes
1answer
107 views

A complex problem.

We have a set $S:= \{e^{inr\pi} | n\in\Bbb N\}$. Where r is an irrational number. I wonder whether this set is dense in $\partial D(0,1)$. i.e. I want to see if $\overline S=\partial D(0,1).$ I ...
5
votes
1answer
55 views

Why do the Wirtinger derivatives behave like actual partial derivative operators?

Despite the fact that they're not partial derivative operators, the Wirtinger derivatives obey things like the chain rule. Of course I can prove such things by manipulating formulas, but this gives ...
5
votes
0answers
61 views

Branch locus along a smooth curve

Let $f : S \to X$ be a dominant morphism of smooth complex surfaces. Let $C \subset S$ be a smooth curve such that $df$ is of rank $1$ along $C$ and that in a neighborhood of $C$, $df_x$ is an ...
4
votes
2answers
185 views

Is every holomorphic function in a neighborhood of the origin of $C^n$ necessarily bounded?

Is every holomorphic function in a neighborhood of the origin of $C^n$ necessarily bounded? In which case the statement can be true? Thanks in advance
4
votes
2answers
483 views

Multivariate Residue Theorem?

Is there an extension of the residue theorem to multivariate complex functions? Say you have a function of $n$ complex variables $s_{n}$ and you wish to integrate it over some region in ...
4
votes
1answer
260 views

Weighted $L^2$ Estimates for Domains $\Omega\subseteq\mathbb{C}$

EDIT: After mrf's comment below and some discussion with my instructor for the course it was decided that the below was not really an issue. Namely, I went into reading this lecture with the notion ...
4
votes
2answers
280 views

Uniform convergence of the Bergman kernel's orthonormal basis representation on compact subsets

Consider the Bergman kernel $K_\Omega$ associated to a domain $\Omega \subseteq \mathbb C^n$. By the reproducing property, it is easy to show that $$K_\Omega(z,\zeta) = \sum_{n=1}^\infty \varphi_k(z) ...
4
votes
1answer
306 views

holomorphic function is real analytic?

$f$ is a holomorphic function on $\mathbb C^n$. If we regard $f$ as a function $F$ from $\mathbb R^{2n} \to \mathbb R^2$, is it necessarily that $F$ is real analytic?
4
votes
1answer
168 views

Prove that $A$ has Lebesgue measure $0$.

Suppose $G$ is a connected open set of $\mathbb{C}^n$. Prove that: (1). If $f \in$ PSH(G) and $f \not \equiv \infty$ then $A=\{z \in G: f(z)=-\infty\}$ has Lebesgue measure $0$. (2). If $f \in ...
4
votes
1answer
54 views

Polydisc is not biholomorphic to any strictly pseudoconvex domain

I want to prove the poly disc $P=\left\{z\in \mathbb{C}^2 : |z_1|<1,|z_2|<1\right\}$ is not biholomorphic to any strictly pseudo convex domain in $\mathbb{C}^2.$ Can any one provide a hint?
4
votes
1answer
193 views

Explicit counter-example to corona problem

The corona problem is known to fail for the complex polydisk, for dimension greater than 2. Does anyone has an explicit example of such functions?
4
votes
1answer
178 views

Domain of Holomorphy

How to show that $D=\{ |z_1|<1\} \cup \{ |z_2|<1\} \subset \mathbb{C}^2$ is not a domain of holomorphy. What is the smallest domain of holomorphy $ S\supset D $ ? I think we cannot just add the ...
4
votes
0answers
62 views

Openness of a subset in complex 2-plane

Let $U$ be a subset of $\mathbb{C}^{2}$ containing the origin $0$. Assume that for any curve $C$ (an affine variety of dimension 1, maybe singular) passing through $0$ we have $U \cap C$ is ...
4
votes
0answers
181 views

What's the difference between analytic singularity and algebraic singularity?

Let $f$ be a holomorphic function defined in $U\in \mathbb{C}^n$, and $f=0$ gives an analytic variety. Suppose $f$ is irreducible as a germ of holomorphic function in $\mathcal{A}_z$, here $z$ is a ...
3
votes
3answers
138 views

How to find $(-64\mathrm{i}) ^{1/3}$?

How to find $$(-64\mathrm{i})^{\frac{1}{3}}$$ This is a complex variables question. I need help by show step by step. Thanks a lot.
3
votes
1answer
132 views

Why holomorphic injection on $C^n$must be biholomorphic?

This result is certainly right in the 1-dim'l case. But I don't know how to show the general case by induction. Can anyone tell me the detail please?
3
votes
1answer
274 views

Zeros of complex function sequence (Application of Rouche's Theorem).

For a given sequence of complex functions: $\phi_n(z)= 1+\frac1n-z-e^{-z}$; here $z\in${$z| Rez>0$}. I want to prove that : (1). $\phi_n $ has a unique zero $z_n$ in the half plane. (i.e. there ...
3
votes
3answers
110 views

Problem related to continuous complex mapping.

We are given with a map $g:\bar D\to \Bbb C $, which is continuous on $\bar D$ and analytic on $D$. Where $D$ is a bounded domain and $\bar D=D\cup\partial D$. 1) I want to show that: ...
3
votes
2answers
81 views

Multidimensional complex integral of a holomorphic function with no poles

I am looking for a generalization of the Cauchy integral theorem. I know that there are generalizations of the Cauchy integral formula (eg the Bochner-Martinelli formula), but I do not know if this ...
3
votes
1answer
174 views

If $f$ is $C^{\infty}$ and $f^2$ is analytic, then $f$ is analytic.

Assume that $f:\mathbb{C}^n\rightarrow \mathbb{C}$ is a $C^{\infty}$ function such that $f^2$ is (complex) analytic. Then show that $f$ is analytic. Now, when we consider the question for functions ...
3
votes
1answer
140 views

Holomorphic extension of a function to $\mathbb{C}^n$

I am stuck at the following question : Let $f$ be a holomorphic function on $\mathbb{C}^n \setminus \{(z_1, z_2, \ldots, z_n) | z_1=z_2=0\}$. Show that $f$ can be extended to a holomorphic function ...
3
votes
1answer
202 views

Multivariate analytic function property

Suppose function $F: \mathbb{C}^n \to \mathbb{C}$ is analytic everywhere and in every coodinate; i. e. for any $q \in \mathbb{C}^n$ and for any $j \in \{1,2,\ldots,n\}$ function $f_{q,j}: \mathbb{C} ...
3
votes
1answer
93 views

Extension of biholomorphic map to the boundary in higher dimension

Well I was thinking on this problem, any idea to progress will be gladly accepted, Let $f:\Omega\rightarrow V$ be a biholomorphic map where $\Omega$ and $V$ are bounded open set in $\mathbb{C}^n$ with ...
3
votes
1answer
108 views

Connected Reinhardt Domain which is not complete

Can i have an example of connected Reinhardt domain in $C^n$ which contains zero. But it is not complete. Complete means: For $w= (w_1,..w_n)\in D$, if $z$ is such that $|z_j|\leq |w_j$ for all $j$ ...
3
votes
2answers
58 views

Dependence of roots on parameters

Let a function $f$ be holomorphic in a polydisk $U=U'\times U_n$,and suppose that for each fixed $z'\in U'$ it has a unique zero $z_n = \alpha(z')$ in the disk $U_n$. Then the function $\alpha(z')$ is ...
3
votes
1answer
99 views

Properties of plurisubharmonic functions

In book: (Oxford science publications._ London Mathematical Society monographs, new ser., no. 6) Maciej Klimek -Pluripotential theory -OUP (1992) Theorem 2.9.14 (ii): Let $\Omega$ be an open ...
3
votes
1answer
268 views

Implicit function theorem for several complex variables.

This is the statement, in case you're not familiar with it. Let $ f_j(w,z), \; j=1, \ldots, m $ be analytic functions of $ (w,z) = (w_1, \ldots, w_m,z_1,\ldots,z_n) $ in a neighborhood of $w^0,z^0$ ...
3
votes
1answer
115 views

Bergman-Shilov Boundary and Peak Points

Let $\Omega$ be a domain in $\mathbb{C}^n.$ Consider the Banach algebra $A(\Omega):=\mathcal{C}({\overline{\Omega}})\cap\mathcal{O}(\Omega).$ Denote the Bergman-Shilov boundary of $A(\Omega)$ by ...
3
votes
1answer
168 views

Uniform convergent series

Let $\Omega$ be domain in $\mathbb C^2$. For each compact set $K_j$ define the holomorphic function $f_j$ on $\Omega$, such that $$\sup_{k_j}|f_j|<2^{-j}.$$ Define $$f= ...
2
votes
3answers
299 views

Which book on complex analysis is good for self study?

Which book on complex analysis is good for self study? I am an average student and have just a very basic knowledge of this subject.I want to cover up to Runge's Theorem. I heard about few books- ...
2
votes
1answer
491 views

$n$-sheeted branched covering

Michael Artin's algebra let $f(x,y)$ be an irreducible polynomial in $\mathbb{C}[x,y]$ which has degree $ n>0$ in the variable $y$. The Riemann surface of $f(x,y)$ is an $n$-sheeted branched ...
2
votes
1answer
57 views

Can I switch the order of integration and “Real(z)” operation?

Let $f(z,\eta)$ be an entire function. I need to calculate (numerically) the integral: $$\int\limits _{0}^{\pi}\mbox{Re}\left(\int\limits _{0}^{\pi}f\left(z,\eta\right)d\eta\right)dz$$ Can I switch ...
2
votes
1answer
72 views

Differential form on complex torus

Suppose $T= \mathbb{C}^n/\Gamma$ is a $n$-dim complex torus. How to prove that every exact $2$-form which has no $(0,2)$ component must be the image of a $(1,0)$ form? Is every torus Kahler? If the ...
2
votes
1answer
36 views

How do I compute this Holomorphically Convex Hull?

The Holomorphically Convex Hull is defined as $\hat{K}_\Omega= \{z \in \Omega: |f(z)| \leq \sup_K |f|, \forall f\in \mathcal{O}(\Omega)\}$, where $\Omega\underset{open}\subset \mathbb{C}^n$, ...
2
votes
2answers
372 views

Generalization of Cauchy Residue theorem to Multi-dimensional holomorphic functions

We know Cauchy Residue theorem from the Complex analysis. however I wonder if there is a kind of Generalization of Cauchy integral and Residue theorem to the complex multidimensional holomorphic ...
2
votes
1answer
61 views

Book searching in Pluripotential theory

Can anyone recommend me a book on pluripotential theory with an intuitive approach? I have some course notes on that subject, but it's really abstract and theoretical. I want to understand why ...