Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [cv.complex-variables]

Complex analysis, holomorphic functions, automorphic group actions and forms, pseudoconvexity, complex geometry, analytic spaces, analytic sheaves.

0
votes
0answers
2 views

what are our feature food process machines?

We specialize in potato chips machines, frozen French fries machines, banana chips machines. Vacuum fryer and quick freeze machine (Individual Quick Freezer), Sausage making machine,smoker oven ,...
2
votes
1answer
110 views

Must $q$ be analytic?

I have a continuous function $q:\mathbb{R}^+ \to \mathbb{R}^+$. An interesting property of this function is that $$F(s) = \frac{e^{-q(s)}q(s+1)}{1-e^{s-q(s)}}$$ which also takes $\mathbb{R}^+ \to \...
1
vote
0answers
39 views

Differences of $\omega$-plurisubharmonic functions

Let $X$ be a complex manifold, and $\omega$ a Kähler form on $X$. A smooth function $\phi$ on $X$ is $\omega$-plurisubharmonic ($\omega$-psh for short) if the form $\omega+\sqrt{-1}\partial\bar{\...
4
votes
0answers
147 views

Regular functions vs holomorphic functions

Let $X$ be an affine smooth variety over the complex numbers, $X^{an}$ its associated smooth complex analytic space, and $\mathcal{O}$, resp. $\mathcal{O}^{an}$ the respective structure sheaves. Is ...
3
votes
1answer
62 views

Existence of Laurent series with zeroes at $𝑒^2𝑛$ (𝑛∈ℕ0 ) and even faster coefficient decay

This is an extension of an earlier question of mine which corresponds to the case $A = 1$. Precisely, my question is as follows: Given $A > 0$ fixed but arbitrary, is there a non-trivial ...
0
votes
0answers
43 views

Continuity of Complex function [closed]

enter image description here For the second part, it is just a formula of Cauchy Integral formula, so F(x) = f(x) for all |z| <= 1, but the only thing I know is that it is continous on the circle. ...
4
votes
1answer
156 views

Zeros of derivatives of Dirichlet Eta function

Let $$ \eta^{(d)}(z) = \sum_{n=1}^\infty \dfrac {(-1)^d(-1)^{n-1}\ln(n)^d} {n^z} $$ be the derivative of Dirichlet Eta function of order $d$. Does it exist any known or not known zero of $\eta^{(d)}...
0
votes
1answer
104 views

What are the holomorphic automorphism groups of unit ball, polydisc, and Hartogs domain in C^n ( n>1)? [closed]

What are the holomorphic automorphism groups of unit ball, polydisc, and Hartogs domain in $\mathbb{C}^n$ ($n>1$) ? I would be pleased if you tell me.
-4
votes
0answers
68 views

Is there any possibilities that the following partial sum of the Dirichlet eta function can be zero?

If $s_o$ is one of the non-trivial zeros of the Riemann zeta function with $0 <Re(s_o)<1$ , we know: $$\eta(s_o ) = \left(1-2^{1-s_o}\right) \zeta(s_o)= \sum_{n=1}^\infty \frac {(-1)^{n-1}} ...
9
votes
1answer
141 views

Existence of Laurent series with zeroes at $e^{2n}$ ($n \in \Bbb{N}_0$) and extremely fast coefficient decay

I am working on a problem in harmonic analysis, which I converted into the following existence problem concerning Laurent series. I am a bit at a loss concerning this problem, since my knowledge of ...
9
votes
0answers
231 views
+50

Riemann–Hilbert-type problem

Let $P$ be a fixed pentagon in the hyperbolic plane $\mathbb H^2$ with all the angles equal to $\pi / 3$. Let $w_1, w_2, \dots, w_5$ be the sides of $P$ going in the counterclockwise order. We are ...
3
votes
1answer
93 views

Decay of the binomial expansion of $f^{\circ k}$

Suppose $f$ is a holomorphic function in a neighborhood of zero fixing zero. Suppose $f'(0) = \lambda$ and $0<\lambda < 1$. It's not so hard to prove that $f^{\circ k}(z) = f(f(\ldots\text{$k$ ...
3
votes
0answers
29 views

Extremal metric for image of a curve family

Let $U\subset \mathbb{C}$ be a domain and $\Gamma$ some family of curves in $U$ with $\textrm{mod}(\Gamma)<\infty$ and such that $\rho$ is an extremal metric for the modulus. Suppose we are given a ...
27
votes
2answers
1k views

A sum involving roots of unity

Let $n$ be a positive integer and $\zeta$ be a primitive $n$th root of unity. It is not hard to show that \begin{align*} \sum_{k=1}^{n-1}\frac{\zeta^k}{1-\zeta^k}=\frac{1-n}{2}. \end{align*} Since $\...
1
vote
0answers
77 views

Residue theorem with winding numbers [migrated]

In my studies, I've been uniquely using the Residue Theorem with no more than a single winding around each singularity. Actually, my professor has never mentioned winding-numbers in the Residue ...
1
vote
0answers
82 views

Fourier inversion formula for compactly supported distributions

I know that the Fourier transform of a compactly support distribution $u\in \mathscr{E}'(\mathbb{R}^{n})$ is smooth and also satisfies $$ |\hat{u}(\xi)|\leqslant C_{N}(1+|\xi|)^N,\label{1}\tag{1} $$ ...
0
votes
0answers
83 views

A certain ratio condition for polynomials with real coefficients

Let $p:\mathbb{C} \longrightarrow \mathbb{C}$ be a polynomial with real coefficients and suppose that $p$ satisfies \begin{equation} \frac{p(y)}{y} \le \frac{p(x)}{x} \tag{*} \label{ratcond} \end{...
0
votes
1answer
77 views

Generalized Lambert W Function

I am looking for inverse functions for the following family of functions: $ \begin{aligned} f_0(z) &= z+e^z \\ f_1(z) &= ze^z \\ f_2(z) &= z^z \\ &\cdots \\ f_{n+1}(z) &=...
5
votes
1answer
105 views

Failure of Borel-Schmid quasi-unipotency theorem in non-algebraic case

Let $\mathcal{X} \to \Delta^{\times}$ be a smooth family of compact Kähler manifolds over a punctured disc. When this family is algebraic, the celebrated quasi-unipotency theorem (I think, due to ...
2
votes
0answers
61 views

How to compute expansion factors for hyperbolic rational maps?

It is a commonly-referenced result about certain rational maps acting on $\mathbb{\hat{C}}$ that they are expanding on a neighborhood of their Julia sets. A sufficient condition to be expanding is ...
0
votes
2answers
150 views

Dominant root of a family of polynomials

Let $f(x)=x^5-x^4-x^3-x^2-x-c$, where $c>2$ is a real number. It is easy to prove that there exists a positive real root $\alpha>2$ of $f(x)$ and all the other roots are non real. Also, by ...
-1
votes
0answers
73 views

Proper projections

Let $D \subset \mathbb{C}^k$ be your favorite complex domain. Suppose we are given a proper holomorphic mapping $f \colon D \to \mathbb{C}^{k+2}$. Let us take $k+1$ generic linear functions $l_i \...
2
votes
1answer
93 views

Modulus bounded by Nevanlinna characteristic in several variables

Let $f:\mathbb{C}^n\to\mathbb{C}$ be an entire holomorphic function of $n$ complex variables. Then its Nevannlinna characteristic equals $$ m_f(r)=\int_{\partial B(r)}\log^+|f(z)|d\eta(z),\quad\forall ...
4
votes
0answers
151 views

When is entire function bounded on a ray?

Let $f(z)=\sum_{n=1}^\infty c_n z^n$ be entire function on the complex plane. May we express the property $\int_0^\infty |f(x)|^2 /x dx<\infty$ or some other property controlling the behavior for ...
4
votes
1answer
169 views

On the roots of Bernoulli polynomials

Consider the Bernoulli polynomials denoted by $B_n(z)$. Now, start plotting the set of all (combined) complex roots $\mathcal{A}_N$ of $B_n(z)$, say for $n=1,2,\dots,N$ for some enough large $N$. It ...
0
votes
1answer
91 views

Compatible solution of PDE

Let $c=c(z, \bar z)$ be a complex function satisfying $\partial_{z} \bar c=\partial_{\bar z} c$. It follows that there exists a real function $f$ such that $\partial_{\bar z} f=-c$. Would it be ...
12
votes
1answer
652 views

Zeros of an infinite series

Let $\sum_{j=1}^{\infty}a_{j}$ be a convergent series of positive numbers and $\{z_{j}\}_{j=1}^\infty$ a closed discrete subset of the open unit disc $\mathbb{D}$. Then $h(z):=\sum_{j=1}^{\infty}\frac{...
3
votes
0answers
129 views

Chern number of projection-Topological magic in physics

I enclosed a computation from a well-known paper in the field of mathematical physics where the Chern number of the first Landau level is computed (the result claimed is $-1$) and the full paper can ...
2
votes
0answers
41 views

Entire analytic functions with entire analytic Fourier transform, and corresponding distributions

I'm interested in the Fourier transform on a space of distributions that includes more than the usual tempered distributions, and in particular allows for $\delta$-distributions supported at complex ...
4
votes
2answers
141 views

Density of Lacunary Functions

I'm curious whether lacunary functions (functions in the complex plane that are holomorphic in some open ball about the origin, but cannot be analytically extended past that ball) are typical or the ...
0
votes
1answer
64 views

Bringing a Heun equation into canonical form

It is a well known fact that any second order Fuchsian differential equation on the complex plane $$u''(x) + p(x)u'(x) + q(x)u(x)=0$$ with exactly $4$ regular singular points may be suitably ...
5
votes
3answers
190 views

Origin of term Ahlfors-David regular

Much of the literature on analysis in metric spaces makes use of an assumption called Ahlfors regularity or Ahlfors-David regularity. Let $q>0$. A metric space $(X,d)$ is Ahlfors(-David) $q$-...
4
votes
1answer
131 views

Compilation of representations of holomorphic functions

Holomorphic functions are my muse. As my muse, I love drawing them different ways. Allow me to frame this as though an artist talking about his muse. A holomorphic function $f$ on the unit disk $\...
2
votes
1answer
103 views

Extended Abel-Jacobi theorem

Let $X$ be a compact Riemann surface, $u$ a meromorphic function on $X$ with divisor supported on a set of points $\{P_1, ..., P_n\}$, and $f$ a meromorphic function on $X$ such that $f$ has no pole ...
3
votes
2answers
257 views

On finite extensions of the field of meromorphic functions

Let $\mathcal{M}$ be the field of meromorphic functions of one (complex) variable and $w = w(z)$ an analytic function satisfying a polynomial equation $P(w; z) := w^n + a_{n-1}(z) w^{n-1} + \cdots + ...
-1
votes
1answer
207 views

On a certain representation of the Riemann zeta function

Let $\zeta$ denote the Riemann zeta function. In this answer: https://mathoverflow.net/a/314066/133634, @Paul Garret considers the representation $$\frac{\zeta(s)}{s} = \int_1^\infty (\sum_{1 \le n \...
4
votes
0answers
74 views

LlogL and Hardy space on the upper half plane

Set $\mathbb{T}$ the unit circle, $dm$ the Lebesgue measure on $\mathbb{T}$ and $\mathbb{C}^+=\left\{z\in \mathbb{C},s.t.\,\Im(z)>0 \right\}$ the upper half plane. It is well-known that the Cauchy ...
1
vote
1answer
552 views

An integral involving the argument of the Gamma function and the Riemann Hypothesis

Evaluate $$I=\int_{0}^{\infty} \frac{t\arg \Gamma(\frac{1}{4}+\frac{it}{2})}{(\frac{1}{4}+t^2)^2}\mathrm{d}t$$ where $\Gamma(s)=\int_{0}^{\infty}e^{-x}x^{s-1}\mathrm{d}x.$ Note that $I$ converges ...
8
votes
1answer
224 views

Bounded holomorphic functions on a Riemann surface separating points

Let $R$ be a Riemann surface that admits a non-constant bounded holomorphic function. Then is it true that any two points of $R$ can be separated by a bounded holomorphic function? This is easy to see ...
2
votes
0answers
113 views

Prove conjugation law for Exp(z) using only Exp(x + y) = Exp(x)Exp(y) [closed]

Starting with just the property $E(x + y) = E(x)E(y)$, one can prove quite a lot of the main properties of the exponential function on real numbers. For example, $E(0) = 1$, and $E'(X) = E(X)$, and $E(...
0
votes
0answers
35 views

Steepest descent integration in several dimensions

The method of steepest descent provides an asymptotic approximation for integrals of the form: $$I = \int_C \exp(M f(z))\mathrm dz$$ for large positive $M$, where $f(z)$ is analytic in the region of ...
5
votes
1answer
150 views

Unconditionally convergent series in some functional spaces

Linked with [this question and discussion]( Bilinear product of two summable families), I am very interested in counterexamples/results about the following questions (cf the end). First, I recall ...
20
votes
2answers
1k views

Complex analytic vs algebraic geometry

This is more of a philosophical or historical question, and I can be totally wrong in what I am about to write next. It looks to me, that complex-analytic geometry has lost its relative positions ...
1
vote
1answer
172 views

Inquiry on the bound for $\int_{0}^{T} \Big|\log|\zeta(1/2 + it)| \Big| \mathrm{d}t$

Let $\zeta$ be the zeta function of Riemann. Is the bound for $$I_{T}=\int_{0}^{T} \Big|\log|\zeta(1/2 + it)| \Big| \mathrm{d}t$$ known ? It seems to me that $I_{T} \ll T\log T$ since $\log|\zeta(...
1
vote
0answers
70 views

Is the set of fixed points of hyperbolic elements from $\mathrm{PSL}_{2}(A)$ a group?

Given a subring $A$ of $\mathbb{R}$, we can consider the set $\mathrm{PSL}_{2}(A)$ of elements in $\mathrm{PSL}_{2}(\mathbb{R})$ with entries in $A$ and the determinant of associated matrix is equal ...
5
votes
1answer
319 views

On limits of manifolds

This question should be fairly elementary. I’d just like to check I’m not missing anything. Let $\{M_n\}_{n\ge 0}$ be an inverse system of smooth manifolds with transition maps $f_{t,s} : M_t\to M_s$,...
4
votes
0answers
168 views

Computing Bohr Radii

The Bohr radius $R$ for $\mathcal{H}(\mathbb{D})$ is defined as $$R = \sup\limits_{0<r<1} \Bigl\{ r\ \Big|\ \sum\limits_{k=0}^{\infty}|a_k|r^k \leq |f|_\mathbb{D} \text{ for all }f(z)=\sum\...
3
votes
1answer
94 views

The extension of a plurisubharmonic Functions

I am reading the paper "Two Theorems on Extensions of Holomorphic Mappings" by Phillip A. Griffiths. Proposition 2.9 of the paper is: If $\Psi$ is a plurisubharmonic on the punctured ball $B_n^{*}$ ...
1
vote
1answer
45 views

On extensions of holomorphic mappings with image in a projective algebraic variety

I am reading the paper "Two Theorems on Extensions of Holomorphic Mappings" by PHILLIP A. GRIFFITHS. In Example 2 of the paper, there is a proposition saying that: Let $N$ be a complex manifold, $S\...
1
vote
0answers
50 views

How to fix multi-valued function on contour?

I am sorry to ask such an embarrassingly simple question here. My question is about contour integral of the multivalude function. I want to calculate the Fourier transformation of a muti-valued ...