The theory of functions of one complex variable with an emphasis on the theory of complex analytic (or holomorphic) functions of one complex variable. Typical topics include: Cauchy's integral formula, singularities, poles, meromorphic functions, Laurent and Taylor series, maximum modulus principle, ...

learn more… | top users | synonyms (2)

16
votes
0answers
644 views

Integral $\int_0^\infty \frac{\log^2 x \cos ax}{x^n-1}dx$

Hi I am trying to calculate $$ I:=\int\limits_0^\infty \frac{\log^2 x \cos (ax)}{x^n-1}\mathrm dx,\quad \Re(n)>1, \, a\in \mathbb{R}. $$ Note if we set $a=0$ we get a similar integral given by $$ ...
12
votes
0answers
493 views

A conformal mapping onto a region bounded by convex contours (Ahlfors)

I want to solve the following exercise (from Ahlfors' text, page 261) *3. Using Ex. 2, show that $p + q$ maps $\Omega$ in a one-to-one manner onto a region bounded by convex contours. Comments: ...
11
votes
0answers
153 views

Reducing multi-variable functions to a composition of 1- or 2-variable functions

There are some special functions of 3 or more complex variables that are analytic in some domain (a region in $\mathbb C^n$) with respect to each variable. To give some examples: the incomplete beta ...
10
votes
0answers
168 views

Can a Power Series tell when to stop?

The naive description of the radius of convergence of a complex power series is as the largest radius so that the ball avoids poles and branch cuts. This makes sense in a world where analytic ...
10
votes
0answers
321 views

The closed form of $\sum_{n=0}^{\infty} \arcsin\bigl(\frac{1}{e^n}\bigr)$

In my study on some type of integrals I met the series below that I don't how to approach it. Of course, one of the obvious questions is: does it have a closed form? Before answering that, I need to ...
9
votes
0answers
193 views

Integrate $\int_{-\infty}^{\infty} \frac{\cosh(\beta x)}{1+\cosh( \beta x )} e^{-x^2} x^2 \rm{d}x$

Integrate $$ \int_{-\infty}^{\infty} \frac{\cosh(\beta x)}{1+\cosh( \beta x )} e^{-x^2} x^2 \rm{d}x, $$ with $\beta \in \mathbb{R}$ and $\beta > 0$. Numerical integration shows that this ...
9
votes
0answers
262 views

When does a modular form satisfy a differential equation with rational coefficients?

Given a modular form $f$ of weight $k$ for a congruence subgroup $\Gamma$, and a modular function $t$ for $\Gamma$ with $t(i\infty)=0$, we can form a function $F$ such that $F(t(z))=f(z)$ (at least ...
8
votes
0answers
46 views

Eigenvalue problem for $−\psi''(x) − (ix)^ N \psi(x) = E\psi(x)$ in complex plane

To find the eigenvalue $E$ in the complex plane of $x$ for one dimensional Schrodinger equation $$ −\psi''(x) − (ix)^ N \psi(x) = E\psi(x). $$ where $N$ can be any real number, the boundary condition ...
8
votes
0answers
207 views

Modular transformation of $\eta(\tau)$

I know that the Dedekind $\eta$ function can be represented in the form$$\eta(\tau) = q^{1\over{24}} \prod_{n = 1}^\infty (1 - q^n) = \sum_{n = -\infty}^\infty (-1)^n q^{{3\over2}\left(n - ...
8
votes
0answers
183 views

A map from zeros of $\zeta(s)$ to zeros of $C(s)?$

Let $P(s),C(s),\zeta(s)$ be the prime zeta function, the analogous composite zeta function, and the classical zeta function. I do not know whether it is known that there are infinitely many zeros of ...
8
votes
0answers
66 views

Decay of amplitude integral

Consider the function $$ f(\vec{x}) = \int_{\Bbb R^3} {\frac{ e^{-i\,\vec{x}\cdot\vec{k}}}{\sqrt{\vec{k}^2 + m^2}}} d^3 k $$ from Zee's Quantum Field Theory in a Nutshell. He argues like this: ...
8
votes
0answers
172 views

Bounds on derivative of real positive coefficient polynomial satisfying certain properties

While thinking about this question of Clin, I wanted to consider the polynomial: $P(z) = 1+x_1z+x_2z^2+\cdots+x_nz^n$, satisfying: (I) $1\geq x_{1}\geq x_2\geq\cdots\geq x_{n}\geq0$ and ...
8
votes
0answers
542 views

Subadditivity for Analytic Capacity Disjoint Compacts separated by a Line

The following problem is asked in Greene and Krantz, Problem 9, page 382: Suppose that $C_1$ and $C_2$ are disjoint compact sets in $\mathbb{C}$ that can be separated by a line $l$ with $C_1 \cap ...
8
votes
0answers
407 views

Contour integral representation of Confluent Hypergeometric Function

My brain is spinning around in circles trying to reconcile three distinct contour-integral representation of the confluent hypergeometric function $_1F_1(a,b,z)$ for $b \in \mathbb{Z}_+$: From ...
8
votes
0answers
454 views

An infinite series expansion in terms of the polylogarithm function

We have the complex valued function: $$f(z)=\sum_{n=0}^{\infty}a_{n}\text{Li}_{-n}(z)\;\;\;\;\;\;\;(\left | z\right |<1)$$ We wish to recover the coefficients $a_{n}$. The only thing I though would ...
8
votes
0answers
268 views

On the continuation of a polynomial

This exrcise is from the first section of Marden: Exercise 12. Let the interior of a piecewise regular curve $C$ contain the origin $\cal O$ and be star-shaped with respect to $\cal O$. If the ...
7
votes
0answers
68 views

Exponential integral: something is wrong.

Consider the function $$ E(z)=\int_{-\infty}^z\frac{e^t}{t}dt.\quad (1) $$ Substituting $t\mapsto -u$ one obtains $$ E(z)=-\int_{-z}^{\infty}\frac{e^{-u}}{u}du\equiv Ei(z).\quad (2) $$ It is ...
7
votes
0answers
164 views

Fourier transform of the critical line of zeta?

Is there a known expression for the (distributional) Fourier transform of the Riemann zeta function, taken along the critical line? I'd love to say that it's a weighted sum of delta distributions, ...
7
votes
0answers
90 views

Analytic function defined in the punctured unit disk real in the unit circle then $f(z)=\overline{f(1/\overline{z})}$

This is a follow up to a question I asked a few days ago. I initially thought I understood the solution to the problem, but there's something I can't quite grasp: Let $f$ be analytic in the set ...
7
votes
0answers
181 views

Help with the integral $\int_{0}^{\infty}\frac{\log(1\pm ix)^{2}}{\left(\frac{t}{2}\log(1 \pm ix) \right )^{2}-\pi ^{2}n^{2}}e^{-2\pi mx}dx$

Referring to a previous question, i want help with the integral : $$\int_{0}^{\infty}\frac{\log(1\pm ix)^{2}}{\left(\frac{t}{2}\log(1 \pm ix) \right )^{2}-\pi ^{2}n^{2}}e^{-2\pi mx}dx$$ Where $n,m$ ...
7
votes
0answers
104 views

An open and connected subset $U\subseteq \mathbb C$ is still connected if you remove a curve that lies entirely in $U$

Let $U\subseteq \mathbb C$ be open and connected. If $f:[0,1]\rightarrow U$ is continuous with $f(0)\neq f(1)$ and $f(s)\neq f(t)$ for $s\neq t$, then $U\setminus f([0,1])$ is connected. This seems ...
7
votes
0answers
200 views

Multivalued Functions for Dummies

I have been studying complex analysis for a while, but I still cannot "get" how multivalued functions work. Despite having it explained to me many times, my brain cannot process it. For example, I ...
7
votes
0answers
144 views

Check whether a polynomial ideal is prime in the power series ring

I would like to know whether the ideal $I = \langle y^{2}(y^{2}-x^{2}) + w^{7}, y^{2}(y^{4}-x^{4}) + z^{7}\rangle$ is prime in $\mathbb{C}[[x,y,z,w]]$, the ring of formal power series in the ...
7
votes
0answers
139 views

Another way of expressing $\sum_{k=0}^{n} (-1)^k\frac{H_{k+1}}{n-k+1}$

In this post Another way of expressing $\sum_{k=0}^{n} \frac{H_{k+1}}{n-k+1}$ I asked for a solution of the non-alternating series. How about the alternating series? Can we find a nice way of ...
7
votes
0answers
395 views

${\mathfrak{I}} \int_{0}^{\pi/2} \frac{x^2}{x^2+\log ^2(-2\cos x)} \:\mathrm{d}x$ and $\int_{0}^{\pi/2} \frac{\log \cos x}{x^2}\:\mathrm{d}x$

I have found the following new result connecting two rational log-cosine integrals. Proposition. \begin{align} \displaystyle & {\mathfrak{I}} \int_{0}^{\pi/2} \frac{x^2}{x^2+\log ^2(-2\cos ...
7
votes
0answers
184 views

Compactly supported Dolbeault Cohomology: is this True?

nLab states that for $D$ the unit disk in $\mathbb C$, the cohomology of the complex $$ (\Omega_c^{1,\ast}(D),\overline{\partial})$$ is the continuous dual of the space of holomorphic functions ...
7
votes
0answers
215 views

Contour integration with 2 branch points

I need to compute a quite complicated Fourier transform, but I'm having problems due to the facts that I have two branch points. The integral I need to solve is $$\int_\infty^{-\infty} ...
7
votes
0answers
348 views

Fejer-Riesz Lemma

I'm trying to apply the Fejer-Riesz Lemma constructively. The lemma says that for a Laurent polynomial $a(z) = \sum_{-n}^na_jz^j$ with $a_j = \bar a_{-j}$ and $a(e^{i\theta})\geq0$ on the complex unit ...
7
votes
0answers
255 views

One-dimensional projective group in linear transformation

A convenient way to express a linear transformation is by use of homogeneous coordinates. If we write $z=z_1/z_2$ and $w=w_1/w_2$ we find that $w=Sz$ if $$w_1=az_1+bz_2\text{ and } w_2=cz_1+dz_2$$ ...
7
votes
0answers
108 views

Weierstrass product expression for Klein's j-invariant

The first sentence of @ccorn's answer to a previous question of mine was: “Because of the modular symmetries of $j(\tau)$, the zeros of $j(\tau)$ are precisely the ...
7
votes
0answers
146 views

What is the complex *algebraic* moduli of elliptic curves?

It's well-known that $SL_2(\mathbb{Z}) \backslash \mathfrak{h}$ is a coarse moduli space for complex elliptic curves. Thus, I would expect this to be related to the pullback of $\mathcal{M}_{ell} ...
7
votes
0answers
157 views

number of zeros of complex waves

Does anybody know about any type of methods how to calucalte/estimate the number of the zeros of complex waves (periodic functions as superposition of many harmonic waves) within a given period [0,x] ...
6
votes
0answers
42 views

Uniform limit of one-to-one analytic functions is either constant or one-to-one

Let $U$ be a complex domain, and $(f_n)_{n\in \mathbb{N}}$ be a sequence on one-to-one analytic functions defined on $U$. Suppose that $f_n$ converges to $f$ uniformly on every compact subset of $U$. ...
6
votes
0answers
67 views

Uniform limit of injective analytic functions is injective

I'm stuck on the following problem: Let $f_n$ be a sequence of injective analytic functions on the unit disc $D$ such that $f_n$ converges uniformly to $f$ on compact subsets of $D$. Show that ...
6
votes
0answers
64 views

Asymptotic behavior of the generalized polygamma function

The generalized polygamma function$^{[1]}$$\!^{[2]}$ is defined as $$\psi^{(\nu)}(z)=e^{-\gamma\!\;\nu}\;\partial_\nu\!\left(\frac{e^{\gamma\!\;\nu}\;\zeta(\nu+1,z)}{\Gamma(-\nu)}\right),\tag1$$ where ...
6
votes
0answers
179 views

What is reflection across parabola?

Reflection across a line is well familiar, reflection across a circle is the inversion, the point at a distance $d$ from the center is reflected into a point on the same ray through the center, but at ...
6
votes
0answers
201 views

Complex contour integral: How does the stationary point method used in this case?

I was reading a paper which has the following integral in order to do the inverse Laplace transformation: $$ I=\frac{1}{2\pi i}\int_{-i\infty+\gamma}^{i\infty+\gamma} ...
6
votes
0answers
147 views

estimating a particular analytic function on a bounded sector.

Let $f(z)$ be an analytic function on $C^+=\{\Re z>0\}$, and we have the following (weaker) estimates $$ |f(re^{i\theta},a)|\leq C (r\cos\theta)^{-n}, ...
6
votes
0answers
58 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\geq0$. 2) ...
6
votes
0answers
95 views

How to recognize when a function is secretely holomorphic

Let $f : M \rightarrow N$ be a holomorphic map between complex manifolds (I'd be interested even in the case $M=N=\mathbb{C}$ which should not be much different). Now take $K$ a compact subset of ...
6
votes
0answers
530 views

If $\Re(f)$ is bounded then f is constant.

I have to solve following problem If $\Re (f)$ is bounded above or below for a function $f$ holomorphic on $\mathbb{C}$ then $f$ is constant. My attempt: If there is $M$ such that $\Re(f) \le ...
6
votes
0answers
1k views

Inverse Laplace Transform as Bromwich Integral

I am seeking a references that provide a rigorous treatment of the inverse Laplace transform (Bromwich integrals), and how to compute them (beyond using tabled solutions - they don't cover my needs, ...
6
votes
0answers
84 views

“Natural” interpolation between partial sums of a power series

Suppose $f(z)=\sum_{n=0}^\infty a_n z^n$ has a radius of convergence of $R$. Let the $N$-th partial sum be $f_N (z)=\sum_{n=0}^N a_n z^n$. What smooth (analytic) function interpolates between ...
6
votes
0answers
432 views

Hilbert transform and Hilbert matrix

The Hilbert matrix is \begin{bmatrix} 1 & \frac{1}{2} & \frac{1}{3} & \frac{1}{4} & \dots \\[4pt] \frac{1}{2} & \frac{1}{3} & \frac{1}{4} & & \ddots \\[4pt] ...
6
votes
0answers
169 views

Does $\displaystyle \lim_{m \to +\infty}f_{2,m}(x)$ converge?

This is related to a previous question where, as stated there, $f_{2}(n)$ gives the greatest power of $2$ that divides $n$. Specifically the sequence $\lbrace ...
6
votes
0answers
416 views

Exponential type functions

An entire function $f(z)$ is of exponential type $\alpha$ if there exists $A$ such that $|f(z)|\leq Ae^{\alpha|z|}$ for all $z\in \mathbb C$. Given that $A=1$: how to prove that ...
6
votes
0answers
3k views

Finding general harmonic polynomial of form $ax^3+bx^2y+cxy^2+dy^3$.

I'm trying to find the most general harmonic polynomial of form $ax^3+bx^2y+cxy^2+dy^3$. I write this polynomial as $u(x,y)$. I calculate $$ \frac{\partial^2 u}{\partial x^2}=6ax+2by,\qquad ...
5
votes
0answers
62 views

Finding an explicit entire function $g$ satisfying $g(n \log n) = n^{\pi}$

I encountered the following problem in the lecture note in my complex analysis class: Problem. Find an explicit entire function $g$ satisfying $g(n \log n) = n^{\pi}$ for $n = 1, 2, \cdots$. ...
5
votes
0answers
59 views

Geometry of the zeros of a power series.

This is probably a basic question that is easily googlable, but it seems that I dont have the right keywords. So my question is, having some power series $$ f(z)=\sum_{k=0}^{\infty}C_{k}z^{k}, ...
5
votes
0answers
140 views

Relation between hypergeometric and gamma functions

Show that, for a positive integer $n$, ...