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)

0
votes
1answer
25 views

How to find the real or imaginary part of an equation involving complex numbers?

I am currently using the Debye model and need to find the real and imaginary parts of the equation. The Debye equation is $$ \epsilon_\text{r} = \epsilon_\infty + \frac{\epsilon_\text{s} - ...
2
votes
1answer
25 views

Contour integral of $\frac{1}{\sqrt z}$ with branch cut

I am a physicist who usually doesn't need to care about the fact that square root is not single-valued on the complex plane. But I would like to give a meaning to and compute the contour integrals : ...
2
votes
1answer
27 views

Complex integration on NON-simple closed curve

Compute the following integral with the help of Cauchy's residue theorem. $$\int_C\cot z\,dz$$where , $C:z=4e^{4i\theta}$ , $-\pi\le \theta\le\pi$ Here , singularities of are given by $\sin ...
2
votes
1answer
39 views

Quartic equation or Sextic equation? And how to solve it?

In this arxiv paper (p. 11, eq. (3.2)) the authors claim that equation (3.2) is ... a quartic equation [...] which can be solved explicitly. The equation in question is \begin{equation} ...
3
votes
3answers
46 views

Complex integration by Cauchy's residue theorem

Evaluate the following integral by Cauchy's Residue Theorem $$\int_C\frac{2z^2-z+1}{(2z-1)(z+1)^2}\,dz$$where , $C:r=2\cos \theta$ , $0\le \theta \le \pi.$ I have problem about the contour ...
0
votes
2answers
494 views

Most general linear transformation which leaves the origin fixed and preserves all distances?

I'm working on the following problem from Ahlfors (complex analysis): Prove that the most general (linear) transformation which leaves the origin fixed and preserves all distances is either a ...
6
votes
1answer
36 views

Proving Plancherel's theorem using Cauchy integral formula

Plancherel's theorem says that $f(x) = \frac{1}{2\pi} \int^\infty_{-\infty} F(k) e^{ikx} dk$ where $F(k) = \int^\infty_{-\infty} f(x)e^{-ikx}dx$. I'm wondering if we can prove this using Cauchy's ...
1
vote
1answer
41 views

A question about current and Dirac measure

$0$ can be seen as a divisor of $\mathbb{C}$, and the current $[0]$ is defined as $[0](\varphi)=\varphi(0)$. Why is this reasonable?
3
votes
1answer
39 views

Describing the zero level set of a harmonic function

Let $p(k)$ be a complex polynomial of degree $n\in\mathbb{N}$. Let $A=\{k\in\mathbb{C}:\text{Re}\,p(k)=0\}$ The harmonic function $\text{Re}\,p(k)$ determines the behaviour of $A$. Fix $z\in A$. If ...
1
vote
1answer
42 views

What is the solution to this integral?

In some calculation, I encounter an integral of the form \begin{equation} \int_{-\infty}^\infty \text dz\ \frac{1}{z-i\varepsilon}e^{- a z^2+i b z}, \end{equation} where $a>0$ and $b$ are some ...
2
votes
3answers
77 views

$\int_{-\infty}^{\infty}e^{-\pi x^2}\cdot e^{-2\pi ix\xi}dx = e^{\pi\xi^2}$

Prove that for all $\xi \in \mathbb{C}$, $$\int_{-\infty}^{\infty}e^{-\pi x^2}\cdot e^{-2\pi ix\xi}dx = e^{\pi\xi^2}$$ I don't really know how to compute this integral. Can you please help me?
4
votes
0answers
19 views

Radial limits of composition of functions

Is it true that if $f\in H(U)$ is a holomorphic function whose nontangential limits exist a.e and $g\in H^\infty(U)$ is a nonconstant function whose range is in $U$ and whose radial limits exist ...
12
votes
1answer
70 views

Is the ring of holomorphic functions on $S^1$ Noetherian?

Let $S^1={\{ z \in \Bbb{C} : |z|=1 \}}$ be the unit circle. Let $R= \mathcal{H}(S^1)$ be the ring of holomorphic functions on $S^1$, i.e. the ring of functions $f: S^1 \longrightarrow \Bbb{C}$ which ...
7
votes
2answers
235 views

Why does $\int_0^{\infty}\frac{\ln (1+x)}{\ln^2 (x)+\pi^2}\frac{dx}{x^2}$ give the Euler-Mascheroni constant?

I'd like to see the reason why $$\int_{0}^{\infty}\frac{\mathrm{ln}(1+x)}{\mathrm{ln}^2(x)+\pi^2}\frac{dx}{x^2}=\gamma$$ where $\gamma$ is the Euler-Mascheroni constant. I don't have any 'neat ...
1
vote
3answers
41 views

Proof for inequality with complex numbers

If $a,b,c$ and $d \in \mathbb{R}$ show that $$ac+bd \leq \sqrt{a^2+b^2}\sqrt{c^2 +d^2}$$ Let's use $z=a+bi$ and $g=c+di$ so $|z|=\sqrt{a^2+b^2}$ and $|g|=\sqrt{c^2 +d^2}$. So the equation is ...
3
votes
1answer
449 views

Derivation of poisson kernel for disk of radius $R$ from unit disk

Is there a way to derive poisson kernel for disk of radius $R$ from unit disk?
2
votes
0answers
36 views

(Theoretical) Complex Analysis Textbooks

Most books I've seen on complex analysis do not develop it theoretically, which can be somewhat infuriating for the budding pure mathematician. What I am looking for are some comprehensive, rigorous ...
0
votes
1answer
32 views

I might need some help on this Complex Fourier Series Problem

Here is the problem: Use the complex Fourier Series on $[-L,L] $ with complex coefficients to find a representation of $\frac{1}{2L} \int_{-L}^{L} |f(x)|^{2} dx$ Here is my attempt: The ...
5
votes
2answers
61 views

geometrical interpretation of a line integral issue

I was wondering : if the geometrical interpretation of a line integral is that the line integral gives the area under the function along a path, then why the line integral is equal to zero when the ...
2
votes
3answers
85 views

Compute the integral

Compute the integral: $$\frac{1}{2\pi i}\int_{|z| = 1}\frac{(z-b)^m}{(z-a)^n}dz$$ where $|a| < 1 < |b|$; $m, n \in \mathbb{Z}$ My approach is using Cauchy integral formula, we have ...
0
votes
2answers
53 views

Extending the Riemann zeta function using Euler's Theorem.

Euler's theorem states that if the real part of a complex number $z$ is larger than 1, then $\zeta(z)=\displaystyle\prod_{n=1}^\infty \frac{1}{1-p_n^{-z}}$, where ...
6
votes
3answers
211 views

Infinite Series $\sum_{k=1}^{\infty}\frac{1}{(mk^2-n)^2}$

How can we prove the following formula? $$\sum_{k=1}^{\infty}\frac{1}{(mk^2-n)^2}=\frac{-2m+\sqrt{mn}\pi\cot\left(\sqrt{\frac{n}{m}}\pi\right)+n\pi^2\csc^2\left(\sqrt{\frac{n}{m}}\pi\right)}{4mn^2}$$ ...
1
vote
0answers
50 views

Inverse Gamma function for integers (Hankel)

So I want to prove that for all integers $n \in \mathbb{Z}$ it holds that $$F(n):= \frac{1}{2\pi i} \int\limits_{\gamma}^{} s^{-n}e^{s} ds = \frac{1}{\Gamma(n)},$$ with $\gamma$ the 'Hankel'-contour: ...
3
votes
2answers
39 views

compute the integral $\int_{|z|=1}\left[\frac{z-2}{2z-1}\right]^3dz$

Compute this integral: $$\int_{|z|=1}\left[\frac{z-2}{2z-1}\right]^3dz$$ my solution is I used derivative of Cauchy integral formula, which is $$f^{(n)}(z_0) = \frac{n!}{2\pi i}\int ...
2
votes
1answer
26 views

harmonic functions on the disk which agree on the real are identical?

The question is whether it is possible to find two distinct harmonic functions on the unit disk $\mathbb{D}=\{z: \ |z|<1 \}$ such that they agree on $\mathbb{D} \cap \mathbb{R}$. If yes, please ...
3
votes
1answer
31 views

the sequence of derivative cannot satisfy $|f^{(n)}(z_0)| > n!n^n$

Let $f: \Omega \to \mathbb{C}$. Prove that for any $z_0 \in \Omega$, the sequence of derivatives cannot satisfy $|f^{(n)}(z_0)| > n!n^n$ In this problem, I intend to prove by contradiction, and I ...
1
vote
0answers
23 views

Uniformly bounded family of harmonic functions

I am pretty sure other questions on this site can answer this problem, but I'm really interested in knowing if this particular solution is valid. Thanks. Question: Let $U$ consists of the set of ...
-1
votes
0answers
32 views

Limits of complex line integrals as the Radius goes to infinity [on hold]

I have been stuck on this problem for a long time: Let $C$ be the circle $|z|=R$. Show $$\lim_{R \to \infty} \int_{C_R} \frac{(z^2 +2z-5)dz}{(z^2+4)(z^2+2z+2)} = 0$$ Use the result of 1. to deduce ...
6
votes
1answer
124 views

Show that there is no such entire function

This is an old qual problem I'm working on: Show that there is no entire function $f(z)$ satisfying $|f(z)-e^{\overline{z}}|\leq 3|z|$ for all $z\in \mathbb{C}$. I tried to use Liouville's theorem by ...
-2
votes
0answers
31 views

Exact Differentials in Complex Variables [on hold]

I have been stuck on this problem for a long time :Let P and Q be continuous and have continuous partial derivatives in a region R .Let C be any simple closed curve in R and suppose that for any such ...
3
votes
1answer
89 views

When does $\exp\left(\sum_{i=1}^\infty a_i\right)=\prod_{i=1}^\infty \exp(a_i) ?$

Considering the complex logarithm, when do we have $$\exp\left(\sum_{i=1}^\infty a_i\right)=\prod_{i=1}^\infty \exp(a_i) ?$$ I originally wanted to try to prove it by showing $$\lim \prod^N ...
9
votes
1answer
186 views

Physical interpretation of residues

What is physical interpretation of residues of poles (of any order) of a complex function? Poles represents the points where a complex function cease to be analytic and residues are calculated to ...
1
vote
0answers
21 views

Three and a half basic questions on the Weil restriction of scalars

I am currently trying to get familiar with the Weil Restriction functor. For a finite field extension $L|K$ it associates a variety over $K$ to every variety $X$ over $L$ as the representing object ...
2
votes
1answer
34 views

Attempt at understanding Weierstrass points

I'm reading through Springer - Riemann surfaces and Farkas and Kra - Riemann surfaces and theta functions. I'm attempting to get an understanding of Weierstrass points. I've come up with a (hopefully) ...
1
vote
0answers
17 views

Counting sectors in the complex plane.

Let $f:\mathbb{C}\rightarrow\mathbb{C}$, $f(k)=\alpha\left(k+\frac{\beta}{n\alpha}\right)^{n}$, $n\in\mathbb{N}$, $\alpha,\beta\in\mathbb{C}$, $\alpha\neq0$, and $\text{Re}\, f(k)\geq0$ when ...
0
votes
2answers
25 views

How to write exp(2iz) in the form u(x,y)+iv(x,y)?

I took an exam on Complex Analysis recently, and questions involving the complex logarithm and exponential were a sticking point for me. Questions such as: Q. The function $f$ is defined by $f(z) = ...
1
vote
2answers
69 views

Simplify integral's to a real number

$$ I=\int_{-\infty }^{\infty}\frac{x^{2}dx}{1+x^{6}} $$ Simplify answer until you get an expression involving real numbers only. I have racking my brain on this and still can't get anywhere. Firstly ...
42
votes
6answers
4k views

Why are differentiable complex functions infinitely differentiable?

When I studied complex analysis, I could never understand how once-differentiable complex functions could be possibly be infinitely differentiable. After all, this doesn't hold for functions from ...
0
votes
1answer
331 views

Solution to equations involving Plasma dispersion function

I am trying to solve an equation involving a complex argument for the plasma dispersion function as: $z = x + \iota y$, $ x = \omega / \sqrt2 k v_{Ti} $ $ y = \nu_i /\sqrt{2} k v_{Ti} $ $S[z] = ...
6
votes
1answer
133 views

Conjecture on zeros of analytic function

I have a conjecture that I can´t prove nor disprove, any help on doing so will be very grateful. Let $f: \{z: |z|<2\} \to \mathbb C$ be a non constant analytic function such that if $|z|=1$ ...
1
vote
1answer
52 views

Evaluation of Real Integral

Given the following definition:$$I=\int\limits_{0}^{2\pi}e^{-i\theta n}\left(\frac{1}{n}\right)^{\rho e^{i\theta}}d\theta$$ Is there an analytic method for evaluating this integral? Best Regards
1
vote
1answer
36 views

Cauchy's Integral Formula, Evaluate

Evaluate, $$ \oint_{C}\frac{\cos2z}{z^{2}(z^{2}-z+1)}dz $$ where $C$ is the circle of radius $2$ centred at the origin. Answer should be in the format $J=A\cos(2z+)+B\cos(2z-)+C$. Really ...
4
votes
0answers
172 views

Is Every transcendental entire function $f(z) = C + \exp a + \exp b + \exp c $?

Let $z$ be a complex number and let $f(z)$ be any transcendental entire function. Is it true that $f(z) = C + \exp a + \exp b + \exp c $ where $ a,b,c $ are entire functions of $z$ and $C$ is a ...
0
votes
0answers
17 views

Complex Normal Gaussian noise

I would like to create complex normal Gaussian noise with dimensions $(M,N)$ The noise should have zero mean and $var=1$. How can I do so?
0
votes
1answer
31 views

Stein & Shakarchi, Complex Analysis, Ch.3 Ex.7

Suppose $f : \mathbb{D} \to \mathbb{C}$ is holomorphic, and $d = \sup_{z,w \in \mathbb{D}} |f(z) - f(w)|$. Show that $$ 2 |f'(0)| \leq d$$ This entire exercise is a complete mystery to me and I am ...
4
votes
2answers
48 views

$\int_0^\infty \frac{\log(x)}{x^2+\alpha^2}$ using residues

I'm trying to find $\int_0^\infty \frac{\log(x)}{x^2+\alpha^2}dx$ where $\alpha>0$ is real. My approach was to take an integral along the real line from $1/R$ to $R$, around the circle ...
8
votes
4answers
492 views

Integral $\int_0^1 \log \left(\Gamma\left(x+\alpha\right)\right)\,{\rm d}x=\frac{\log\left( 2 \pi\right)}{2}+\alpha \log\left(\alpha\right) -\alpha$

Hi I am trying to prove$$ I:=\int_0^1 \log\left(\,\Gamma\left(x+\alpha\right)\,\right)\,{\rm d}x =\frac{\log\left(2\pi\right)}{2}+\alpha \log\left(\alpha\right) -\alpha\,,\qquad \alpha \geq 0. $$ I am ...
2
votes
0answers
15 views

A stochastic variant of the heat equation modulo $2\pi$ has weird unstable particle-antiparticle solutions. Does this equation have a name?

I implemented a discretization of a weird 2D heat equation "mod $2\pi$", $$\dot{f}(\mathbf{x},t)=\Delta^*f(\mathbf{x},t)$$ where (WARNING: handwavy, I'm not sure I understand it) ...
3
votes
1answer
50 views

Is there a proof for the maximum principle without the Cauchy integral theorem?

All the theorems about holomorphic functions seem to rely on the Cauchy integral theorem: Liouvilles theorem about bounded whole functions, the maximum principle, the open mapping theorem for ...
2
votes
1answer
40 views

Analytic function on the open unit disc

Let $\Bbb D$ be the open unit disc and $f:\Bbb D\to\Bbb C$ be an analytic function such that $|f(z)|\le |f(z^2)|$, for all $z\in\Bbb D$. Prove that $f$ is constant. Here is my proof: For any ...