The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
0answers
54 views

Intuitive explanation for Hardy-Littlewood maximal function

I came across the Hardy-Littlewood maximal function in an analysis course. Could someone help me intuitively understood what the purpose of this map is, and why it is useful? Thank you. Regards ...
0
votes
1answer
106 views

A question for hyperbolic metric in the proof for Bohr's lemma

Recently I was reading an interesting proof for Bohr's lemma by the tool of hyperbolic metric, however I have a following question: Given a holomorphic map $f$ on $D$, $f(0)=0$, and $|f|<1$ on ...
-2
votes
1answer
138 views

Holomorphic maps on $\mathbb{R}^{n}$ (for n not necessarily even)

Edit according to the comment of user36931 I remove the "motivation" from the previous version and I add an statement to the first question We consider the following two classes of smooth maps on ...
3
votes
1answer
376 views

Good book on analytic continuation?

This is a cross-post from MSE. For my Bachelor's thesis, I am investigating divergent series summation methods. One of those is analytic continuation. There are quite a few books on complex analysis ...
1
vote
1answer
145 views

A family of examples of (Brody) hyperbolic surfaces

Let $P(x)$ and $Q(x)$ be two general polynomial of the same degree $d$ (d can be arbitrary large). Consider the surface $S : z^2 = P(x) Q(y)$ in the projective space $\mathbb{P}^3$. I want to prove ...
13
votes
2answers
829 views

Who first defined _simply connected_, reference?

The following definition is due to Donald J. Newman: A connected open subset $D$ of the plane $\mathbb C$ is simply connected if and only if its complement $\widetilde D = \mathbb C \setminus D$ ...
10
votes
2answers
608 views

Is there a holomorphic Morse-Bott lemma?

It asks for a generalization of the question in the post Normal form for a holomorphic Morse function Suppose $f$ is a holomorphic function on a complex manifold $M$ which has Bott type critical ...
2
votes
0answers
250 views

Separating the eigenvalues of a Hermitian matrix with a special block structure

I have a square matrix $J \in \mathbb{C}^{2n \times 2n}$ where, $J=\begin{pmatrix} A&B \\\bar{B} & A \end{pmatrix}$ $A \in \mathbb{R}^{n \times n}$ and is ${\bf diagonal}$. $B \in ...
-1
votes
1answer
143 views

Order of the zero of a meromorphic function under the action of $Gal(\mathbb{C},\mathbb{Q})$

Let's take $X$ a Riemann surface as an algebraic curve in $\mathbb{P}^n$. The group $Gal(\mathbb{C},\mathbb{Q})$ (automorphisms of $\mathbb{C}$ which act as the identity on $\mathbb{Q}$) acts on $X$ ...
10
votes
1answer
277 views

Reverse mathematics of meromorphic functions on Riemann surfaces

Various sources touch briefly on the reverse mathematics of measure theory and complex analysis. But I have found none on the uniformization theorem for Riemann surfaces or the existence of ...
1
vote
1answer
88 views

Polynomials are dense in $A_{B(0,1)}$

Let $D(0,1)$ be the disk of center 0 and radius 1 and call $A_{D(0,1)}= \{ f:\overline{D(0,1)} \rightarrow \mathbb{C} : f \text{ is continuous and } f|_{D(0,1)} \text{ is holomorphic} \}$. Can ...
0
votes
1answer
151 views

On complex exponential sum estimation

Let $c>0$ a real number, let $N$ a large natural number and let $e\left(x\right):=e^{2\pi ix}$. Is it true that $\forall k\in\left[1,\,2N\right]$, $k$ natural number, that ...
2
votes
2answers
464 views

$ 2|f^{'}(0)| = \sup_{z, w \in D} |f(z)-f(w)|$ if and only if $f$ is linear

I know the following is a well-known result. Let $D = B(0,1) \subset \mathbb{C} $ a disc, $f$ holomorphic on $D$. Show that $$ 2|f^{'}(0)| \le \sup_{z, w \in D} |f(z)-f(w)|$$ Furthermore, there is ...
4
votes
4answers
298 views

Extending a function from $\mathbb{Q}$ to the upper half plane $\mathbb{H}\cup\mathbb{Q}\cup\{i\infty\}$

Define the extended upper half plane $$\overline{\mathbb{H}}:=\{z\in\mathbb{C}: \mathrm{Im}(z)>0\} \cup \mathbb{Q} \cup \{i\infty\}.$$ To what extent can an arbitrary function on the rationals ...
19
votes
2answers
539 views

Which smooth compactly supported functions are convolutions?

If $f,g$ are smooth functions with support in the interval $[-r,r]$ for some $r>0$, then their convolution $f*g$ is smooth with support in $[-2r,2r]$. My question is about the converse: Given ...
0
votes
1answer
71 views

Cardinality of Picard exceptional values of holomorphic function without an isolated singularity

Picard's theorem says that if $f\colon D\to \mathbb{C}$ is an entire nonconstant function or holomorphic with an essential isolated singularity, then $\mathbb{C}\setminus f({D})$ is either empty or a ...
2
votes
0answers
217 views

Convergence of certain L-series

Suppose $|a_{n}| \leq 1$ completely multiplicative function assuming real values. Suppose further that, $ L(s)=\sum_{n} \frac{a_{n}}{n^s} $ may be continued analytically to the left of $s=1$ a bit ...
0
votes
1answer
88 views

Looking for methods/results for explicitly bounding iterations of rational functions

In Theorem 2.6.4 of Beardon's book, "Iteration of Rational Functions", he states the values for the first two coefficients of an iterated power series. That is, suppose that $$ ...
7
votes
3answers
371 views

Summation of a series

I would like to sum the series $$ \sum_{n=0}^\infty \frac{1}{(1+a^2 (n+1/2)^2) ^{3/2}} . $$ It arose when trying to perform a calculation on superconductivity. In particular I am interested in its ...
0
votes
1answer
181 views

The dual space of the Dirac measures on an Abelian group

Let $G$ be a Hausdorff locally-compact Abelian group and $L^2(G)$ the Hilbert space of two-integrable complex functions on the group. Question. What would be natural vector space $\mathcal{R}$ ...
4
votes
1answer
169 views

A homogeneous but slightly asymmetric inequality

I need to prove the following inequality: for any $Z=(z_1,\dots,z_l)\in\mathbb{C}^l$ for any $p\geq 2$ and $l\geq 2$ \begin{equation} \left|\left|\sum_{j=1}^l ...
28
votes
1answer
469 views

Rearrangements of a power series at the boundary of convergence

Take some power series $f(z) = \sum a_n z^n$ with a finite non-zero radius of convergence. I can rearrange the terms of the series, say, to get a different infinite series $$f_{\sigma}(z) = ...
4
votes
1answer
235 views

Analytic continuation of a multiple contour integral

Let $W(t_1,\dotsc,t_n)$ a holomorphic function on some connected open set $U$ of $\mathbb C^n$. Let $\mathbf t^{(0)}$ a point of $U$. Assume that there exists a cycle $\gamma$ in $\mathbb C^m$ and a ...
3
votes
0answers
62 views

Question concerning Mellin transforms

I've recently come across a result I've been trying to generalize. Say that $\phi(\sigma \pm iy) < Ce^{\frac{\pi}{2}|y|}$ in the strip $a < \sigma < b$ then then the following integral is ...
3
votes
1answer
312 views

Series of the inverse quadratic trinomial

Maybe it's a very simple question, but I have a problem with the following series $$\sum\limits_{n=1}^{\infty}\frac{1}{n^2+pn+q},$$ where $p, q \in \mathbb{R}$. I know about five ways how to calculate ...
0
votes
1answer
115 views

Use of Jensen's inequality on a Riemann surface

Let $f:\mathbb{C}\to \mathbb{C}$ be entire and consider the composite function $g(z):=f(\sqrt{z^2 - 1})$ on $\mathbb{C}\setminus \big ((-\infty , -1]\cup [1,\infty )\big )$ on the branch of the square ...
2
votes
0answers
54 views

Proving convergence of certain Mellin transforms

I am wondering about the following modified mellin transforms and if they are absolutely converging or not. Let $\phi$ be some holomorphic function such that for all $y \in \mathbb{R}$ we have ...
0
votes
2answers
92 views

Subharmonic function on a twice punctured complex plane

is the twice punctured complex plane parabolic or hyperbolic? In this sense: does $\mathbb{C}-\{0,1\}$ admit a nonconstant, negative, subharmonic function? Thanks,
0
votes
1answer
185 views

Relation between the eigenvalue density and the resolvent?

Disclaimer: This is a cross-post from Math Underflow. Given that there is little activity on the subject (random-matrice) on the aformentioned site, and given that many interesting discussion on this ...
1
vote
0answers
70 views

How to find number of points at infinity of a Riemann surface

Let $X \subset \mathbb C^2$ be a Riemann surface with boundary $\partial X \subset \mathbb C^2$ and without compact components. Let $\bar X = X \cup \{p_1,\ldots,p_N\} \subseteq \mathbb CP^2$ be its ...
5
votes
1answer
234 views

Asymptotic value of a multivariate integral

The following question is a simple case of a type of problem that occurs in combinatorial enumeration problems. Define $$F(x_1,\ldots,x_n) = \frac{1}{(2\pi)^{n/2}}\exp\biggl( -\frac12\sum_{j=1}^n ...
8
votes
1answer
878 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 one can show that $f$ is analytic. (Note: Liviu Nicolaescu and Alexandre ...
2
votes
1answer
93 views

Convolution-type operator for series

Suppose $f(z)=\lambda(a_1z+a_2z^2+\cdots)$ is holomorphic in $\{|z|<1\}$ with $\lambda>0$. For each $d\geq 1$ , I am trying to define an operation, $\star_d$ , so that $f(z)\star_d ...
0
votes
1answer
120 views

Residues and Mittag-Leffler sequence

Let $X$ be a compact Riemann surface, $\omega$ a meromorphic differential on $X$ and $f$ a meromorphic function on $X$ with poles only over the points $P_1,\dots,P_d$. The product $\;f\cdot\omega\;$ ...
2
votes
2answers
278 views

Surjective entire functions without critical points

It is easy to construct surjective locally univalent holomorphic functions $f: {\mathbb D}\to {\mathbb C}$, where ${\mathbb D}$ is the open unit disk. I am pretty sure that the answer to the ...
1
vote
2answers
173 views

Analytic continuation for PI(1+z^(4^n))

How to do analytic continuation for following function? $$f(z) = \prod_{n=0}^{+\infty} {(1+z^{4^n})}$$ Evidently it satisfies $f(z)f(z^2)=\dfrac{1}{1-z}$...
1
vote
0answers
74 views

analytical behaviour of holomorphic functions on boundary

Is there any survey about criterions for a holomorphic function to be analytical on the boundary of a pseudo convex domain on which it is defined ?
0
votes
1answer
117 views

Existence of a holomorphic function with specific caracteristics

Is it possible to find a holomorphic function $f : D \rightarrow \mathbb{C}$ where $D$ is the $\mathbb{C}$ open unit disk such that: $f$ is continuous in $\overline{D}$ $f (\partial D)\subset ...
2
votes
1answer
339 views

Finding the residue for a complex function defined using an infinite product

Suppose we define the infinite product $\displaystyle \prod_{n=1}^{\infty} (1+a^{-ns})^{a_n}$, where $a_n$ is some given sequence of positive integers. Is there a way, supposing there is a pole at ...
5
votes
2answers
553 views

An extension of Morera's Theorem

Morera's Theorem states that If $f$ is continuous in a region $D$ and satisfies $\oint_{\gamma} f = 0$ for any closed curve $\gamma$ in $D$, then $f$ is analytic in $D$. I have two questions: ...
1
vote
0answers
267 views

complex contour integral calculation after Möbius transformation

Good day to everyone. In my scientific research I've got stuck with a contour integration problem. I would like to evaluate the following integral: $$I=\int_0^{\infty } \frac{e^{\frac{\alpha -\mathrm ...
1
vote
1answer
108 views

Monotonicity and perturbation of $J$-holomorphic curves

In a symplectic manifold $(M, \omega)$, $J$-holomorphic curves are special minimal surfaces if $J$ is compatible with the symplectic structure and the metric is induced by $\omega$ and $J$. Minimal ...
-2
votes
1answer
165 views

Howto plot a specific complex function [closed]

We need to plot the real and imaginary parts of a complex function $k(\omega)$, and cannot find a good way to do this without using "ad hoc tricks." Definitions $k$ is a complex-valued function ...
1
vote
1answer
88 views

Normal family and arithmetic progression

It is basic fact that for a holomorphic (or mermorphic) map $f$, the family of iterates $\{f^n\}_{n=1}^{\infty}$, is normal if and only if $\{f^{mn}\}_{n=1}^{\infty}$, is normal $\forall m\geq 1$. ...
2
votes
0answers
71 views

Introducing new poles

Suppose we have a contour integral of an entire function along a line in the plane (or perhaps a line segment). I am looking for examples of such integrals that are computed by first altering the ...
3
votes
0answers
142 views

elementary proof for existence of point with minimal period 2 for entire function

Fatou proved a very interesting result: for a transcendental entire function $f$, the second itarate $f^{2}$ has at least has one fixed point. (Using the technique of Picard theorem) This result ...
7
votes
1answer
380 views

Abscissa of convergence of Dirichlet series

Let $D(s)$ be a Dirichlet series with abscissa of convergence $\sigma_c=\sigma_a$. Does it follow that the Dirichlet series defined by $P(s)=D(s)\bar D(\bar s)$ has the same abscissa of convergence? ...
1
vote
1answer
211 views

Some questions about inner functions

To avoid trival cases, we assume that $f$ is neither a constant nor a finite Blaschke product. Two celebrated theorems of Frostman say that $f_a(z)$ is actually a Blaschke product for every ...
0
votes
0answers
94 views

Derivative of a function related to Dedekind zeta function

Lef $K$ be an algebraic number field of degree $[K:\mathbb{Q}]=n$. For simplicity suppose $K$ is totally real. Define $f(s) = \zeta_K(s) \zeta(1-s)^{n-1}$ where $\zeta = \zeta_{\mathbb{Q}}$. From the ...
0
votes
1answer
166 views

How to characterize the value which assumed by an inner function infinitely often but is an asymptotic value?

The Frostman Shift of an inner function at the value which assumed infinitely and is not an asymptomatic value is an infinite Blaschke Product. But how to charaterize it when it is an asymptotic ...