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
168 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 ...
10
votes
1answer
301 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
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
321 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
206 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
613 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
481 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
329 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
227 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
242 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
99 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
200 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
142 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
187 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
1answer
135 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?
4
votes
2answers
508 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
266 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
284 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
309 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
65 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
195 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
181 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
182 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
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
115 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
84 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
147 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
208 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
95 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
112 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
59 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
101 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
293 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
116 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
169 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= ...
3
votes
0answers
32 views

Methods for “recognizing” a polynomial of several variables.

If $f(z)$ is an entire function of a single complex variable, then the following are indirect methods for recognizing that $f$ is a polynomial. 1) Show that $f^{(n)}\equiv0$ for some $n\geq1$. 2) ...
2
votes
3answers
313 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
503 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
58 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
75 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
2answers
79 views

Discrete set of zeroes of polynomials must be finite?

Let $F:\mathbb C^n\to\mathbb C^n$ be a polynomial mapping (i.e. $n$ polynomials in $n$ variables). Suppose that $Z = \left\{z \in \mathbb C^n : F(z) = 0\right\}$ is a discrete set (all points are ...
2
votes
1answer
40 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$, ...