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)

19
votes
0answers
447 views

Is there an exposition of complex analysis firmly separating the algebra, analysis, and topology?

Complex analysis seems to work because of the interplay between algebraic geometry over $\mathbb{C}$, and analysis and topology exploiting the fact that $\mathbb{C}/\mathbb{R}$ happens to be a ...
17
votes
0answers
479 views

Integrating $\int_0^\infty\frac{\log (1+z^2)}{e^z-1}dz$ using residue calculus.

I've been looking at how to integrate the following definite integral using the residue calculus, but can't seem to get my thoughts together. I know the $\log$ term is a multivalued function and the ...
16
votes
0answers
198 views

How and why did Weierstrass $\wp$ get its special symbol?

I kind of always hated drawing the Weierstrass $\wp$ symbol by hand, and it struck me as odd how and why it achieved its special status in the first place. After all, there are tons of other important ...
13
votes
0answers
280 views

The closed form of $\int_0^{\pi/4}\frac{\log(1-x) \tan^2(x)}{1-x\tan^2(x)} \ dx$

What tools, ways would you propose for getting the closed form of this integral? $$\int_0^{\pi/4}\frac{\log(1-x) \tan^2(x)}{1-x\tan^2(x)} \ dx$$
11
votes
0answers
64 views

Conformal cobblestones

Open-ended question: It strikes me that the cobblestone pattern known as Bogen, which can be seen in many European cities, is a fairly accurate representation of the conformal mapping defined by the ...
9
votes
0answers
119 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 ...
9
votes
0answers
332 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 $$ ...
9
votes
0answers
179 views

Evaluating the integral $\int_{0}^{\infty} \frac{\cos(ax^{2}) \cosh(bx)}{\cosh (\pi x)} \ dx $

There are at least two ways to show that $$\int_{-\infty}^{\infty} \frac{\cos (ax^{2}) \cosh(ax)}{\cosh( \pi x)} \ dx = \cos \left( \frac{a}{4}\right) \ , \ |a| \le \pi $$ using contour integration. ...
8
votes
0answers
180 views

Conjecture: Tract version of Gauss--Lucas Theorem for higher derivatives.

The Gauss--Lucas Theorem states that all zeros of a degree $n$ complex polynomial $p(z)$ are contained in the convex hull of the zeros of $p$. By iteration, this implies that the zeros of ...
8
votes
0answers
169 views

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

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 ...
8
votes
0answers
168 views

Conceptual proof relating linear fractional transformations to matrices

Define a map from $2 \times 2$ invertible matrices to linear fractional transformations $$ f:\left( \begin{array}{ccc} a & b \\ c & d \\\end{array} \right) \mapsto \frac{az + b}{cz + d}.$$ ...
8
votes
0answers
195 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$$ ...
8
votes
0answers
141 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] ...
8
votes
0answers
371 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 ...
7
votes
0answers
73 views

Function's analytic continuation is its own derivative

This is the question we were asked at the university by our professor for complex analysis. Not as an exam, but as a challenge. I don't think he knew the answer himself. Find a nontrivial example of ...
7
votes
0answers
112 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
267 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 ...
7
votes
0answers
250 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 ...
6
votes
0answers
49 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

Proving that two functions involving integrals with Legendre polynomials are equal

I have two functions that I expect to be equal (where $P_{2l}$ are the even Legendre Polynomials): $$F_{2l}(x)=x\, \tanh(\pi x/2)\left|\int_0^1 u^{i x-1}P_{2l}(u)\,du\right|^2$$ ...
6
votes
0answers
76 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
265 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 ...
6
votes
0answers
98 views

enitre function that preserve the rationals?

Here's a question i would be curious to know the answer The question is: what is the set of all entire functions $f: \mathbb{C} \to \mathbb{C}$ such that $f(\mathbb{Q})\subseteq \mathbb{Q}$.
6
votes
0answers
164 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 ...
6
votes
0answers
75 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
214 views

Identity involving $\zeta(3)$

This is related to this question and my partial answer to it. I've found that the proof of the 2nd identity reduces to showing that ...
6
votes
0answers
199 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 ...
6
votes
0answers
137 views

Interpretation of the Laplace transform

Here's my intuitive understanding of the Fourier transform of $f:{\mathbb R}\rightarrow{\mathbb C}$, defined by $$\mathcal{F}(f)(\omega) = \int_{-\infty}^{\infty}e^{-2 \pi i \, \omega \,x}f(x)dx$$ I ...
6
votes
0answers
317 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
320 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
2k 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
51 views

Show that the integral of Riemann function is analytic

I'm trying to resolve this problem. Let $\Omega$ be an open set no empty of $\mathbb C$, $[a,b]$ a compact interval of $\mathbb{R}$, further $f,\ g\colon[a,b] \to \mathbb C$ two integrable Riemann ...
5
votes
0answers
87 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 ...
5
votes
0answers
138 views

Is there a book only about epsilon delta proofs?

I want to know if there is such book, with beautiful epsilon delta proofs of all kind.
5
votes
0answers
51 views

Singularities at roots of unity

I want to construct a function $f$ with the following properties: $f$ has a singularity at $z=1$, and for any $\zeta = e^{2\pi i\frac{a}{b}}$ with $(a,b)=1$, then $$\lim\limits_{x\to1^-}\frac{f(\zeta ...
5
votes
0answers
196 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 ...
5
votes
0answers
75 views

universal covering of punctured plane and Poincaré metric

I want to prove the following result: Let $\Omega$ be the domain $\mathbb{C}\backslash \{a_1,a_2,a_3,a_4\}$. Its universal covering is the unit disk, and the standard Poincaré metric is pulled back to ...
5
votes
0answers
89 views

Generating function of the squared Riemann zeta function

It's a well known fact that $$\sum_{k=2}^{\infty} \zeta(k) x^k=-x \psi(1-x)-x\gamma \space (|x|<1) $$ but I didn't meet yet a version for squared Riemann zeta function $$\sum_{k=2}^{\infty} ...
5
votes
0answers
146 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 ...
5
votes
0answers
136 views

A Curious Identity

I met the following equations when I was trying to solve a complex line integral (W.Rudin, RCA, p.228 ex.13). My question is how to prove them: We have to show that for $n>2$ even $$ ...
5
votes
0answers
246 views

Describing co-ordinate systems in 3D for which Laplace's equation is separable

Laplace's Equation in 3 dimensions is given by $$\nabla^2f=\frac{ \partial^2f}{\partial x^2}+\frac{ \partial^2f}{\partial z^2}+\frac{ \partial^2f}{\partial y^2}=0$$ and is a very important PDE in ...
5
votes
0answers
233 views

An entire function of strict order 2

Here is a problem from Stein and Shakarchi Complex Analysis, can somebody help me to solve it? I guess we can use Phragmen-Lindelof theorem but I don't know the exact way. Suppose $f(z)$ is an entire ...
5
votes
0answers
131 views

two fixed points, same fractional iteration

Suppose a function f(z) has two fixed points, one repelling, and the other attracting. Call the repelling fixed point f(-1)=-1, and the attracting fixed point f(+1)=+1. I'm interested in functions ...
5
votes
0answers
66 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 ...
5
votes
0answers
128 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} ...
5
votes
0answers
77 views

$\int_{-\infty}^{+\infty}\left|f(g(t))-f(h(g(t)))\right| \,dt=0$ How to find $f$?

Let $h,g$ be given entire functions. Consider $$\int_{-\infty}^{+\infty}|f(g(t))-f(h(g(t)))|\, dt=0,$$ where $|\cdot|$ means modulus. How do I find non-polynomial analytic solutions for $f\,$? ...
5
votes
0answers
160 views

Is there a closed form expression for this integral?

I've been trying to find a closed form expression/series expansion for the following integral without success: $$F(a,b)=\int_{\epsilon-i\infty}^{\epsilon+i\infty} ...
5
votes
0answers
145 views

Linear algebra estimates

Here is something that has been troubleing me lately. I don't know if it is true of not. I suspect it is. Suppose that $A,B$ are two $n \times n$ matrices with complex entries. $A^t = A$, $\bar B^t = ...
5
votes
0answers
583 views

contour integral with singularity on the contour

I want to compute the following integral $$\oint_{|z|=1}\frac{\exp \left (\frac{1}{z} \right)}{z^2-1}\,dz$$ The integrand has essential singularity at the origin, and $2$-poles at $\pm 1$,which lie ...
5
votes
0answers
179 views

Primality using $\Gamma(x)$

Wilson's theorem states $n \in \mathbb N$ is prime iff$(n-1)! \equiv -1\pmod n$. $\Gamma$-function extends the usual factorial to complex numbers. What are the complex numbers such that $\Gamma(z)+1 ...